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