Pages that link to "Item:Q826781"
From MaRDI portal
The following pages link to \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781):
Displaying 6 items.
- Synthesis of insertion functions for enforcement of opacity security properties (Q458746) (← links)
- Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)
- Secret inference and attacktability analysis of discrete event systems (Q6122243) (← links)
- Active opacity of discrete-event systems (Q6134222) (← links)