Pages that link to "Item:Q5211196"
From MaRDI portal
The following pages link to Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions (Q5211196):
Displaying 24 items.
- Synthesis of insertion functions for enforcement of opacity security properties (Q458746) (← links)
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Performance safety enforcement in strongly connected timed event graphs (Q2021327) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Enforcing current-state opacity through shuffle and deletions of event observations (Q2065172) (← links)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818) (← links)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- Discrete-event systems subject to unknown sensor attacks (Q2128094) (← links)
- Performance safety enforcement in stochastic event graphs against boost and slow attacks (Q2665315) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement (Q5125761) (← links)
- Opacity Enforcement via Attribute-Based Edit Functions in the Presence of an Intended Receiver (Q6047065) (← links)
- Verification and enforcement of current-state opacity based on a state space approach (Q6099923) (← links)
- Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder (Q6100443) (← links)
- Secret inference and attacktability analysis of discrete event systems (Q6122243) (← links)
- Active opacity of discrete-event systems (Q6134222) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
- State estimation in labeled time Petri net systems using observed modified state class graph (Q6179959) (← links)
- Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)
- Security and privacy with opacity-based state observation for finite state machine (Q6578723) (← links)
- Opacity of discrete-event systems under nondeterministic observation mechanism (Q6580966) (← links)
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations (Q6594952) (← links)
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems (Q6645045) (← links)
