Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
From MaRDI portal
Cited in
(25)- Enforcing opacity by insertion functions under multiple energy constraints
- Matrix approach for verification of opacity of partially observed discrete event systems
- Opacity of networked discrete event systems
- Security and privacy with opacity-based state observation for finite state machine
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism
- Opacity of discrete-event systems under nondeterministic observation mechanism
- Strong current-state and initial-state opacity of discrete-event systems
- Discrete-event systems subject to unknown sensor attacks
- Performance safety enforcement in strongly connected timed event graphs
- Infinite- and K-step opacity verification of discrete-event systems under nondeterministic observations
- Verification and enforcement of current-state opacity based on a state space approach
- State estimation in labeled time Petri net systems using observed modified state class graph
- Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
- Synthesis of insertion functions for enforcement of opacity security properties
- Optimal control strategy for k-level opaque systems based on the optimization method of multi-selection problems at each stage
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- Performance safety enforcement in stochastic event graphs against boost and slow attacks
- Opacity Enforcement via Attribute-Based Edit Functions in the Presence of an Intended Receiver
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
- Enforcing current-state opacity through shuffle and deletions of event observations
- Verification and enforcement of strong infinite- and k-step opacity using state recognizers
- Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder
- Online verification of K-step opacity by Petri nets in centralized and decentralized structures
- Active opacity of discrete-event systems
- Secret inference and attacktability analysis of discrete event systems
This page was built for publication: Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5211196)
