Pages that link to "Item:Q682359"
From MaRDI portal
The following pages link to Synthesis of obfuscation policies to ensure privacy and utility (Q682359):
Displaying 6 items.
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems (Q2003816) (← links)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
- State-based opacity of labeled real-time automata (Q6122597) (← links)