Comparative analysis of related notions of opacity in centralized and coordinated architectures
From MaRDI portal
Publication:373013
Recommendations
- Comparing the notions of opacity for discrete-event systems
- Opacity of discrete event systems and its applications
- Opacity of networked discrete event systems
- A general language-based framework for specifying and verifying notions of opacity
- Strong current-state and initial-state opacity of discrete-event systems
Cites work
- CSP and anonymity
- Concurrent secrets
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Diagnosability of discrete-event systems
- Dynamic Observers for the Synthesis of Opaque Systems
- Introduction to Discrete Event Systems
- Modelling opacity using Petri nets
- On observability of discrete-event systems
- Opacity of discrete event systems and its applications
- Preserving Secrecy Under Refinement
- Supervisory Control for Opacity
- The dining cryptographers problem: Unconditional sender and recipient untraceability
Cited in
(42)- Current-state opacity modelling and verification in partially observed Petri nets
- Using subobservers to synthesize opacity-enforcing supervisors
- Matrix approach for verification of opacity of partially observed discrete event systems
- Opacity of networked discrete event systems
- Comparing the notions of opacity for discrete-event systems
- Relative predictability of failure event occurrences and its opacity-based test algorithm
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
- Verification of C-detectability using Petri nets
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
- A framework for current-state opacity under dynamic information release mechanism
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets
- Opacity of discrete-event systems under nondeterministic observation mechanism
- Strong current-state and initial-state opacity of discrete-event systems
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
- 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
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Synthesis of insertion functions for enforcement of opacity security properties
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Opacity enforcement in discrete event systems using differential privacy
- On-line verification of current-state opacity by Petri nets and integer linear programming
- Current-state opacity and initial-state opacity of modular discrete event systems
- A general language-based framework for specifying and verifying notions of opacity
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
- Decidability of opacity verification problems in labeled Petri net systems
- Initial-state detectability and initial-state opacity of unambiguous weighted automata
- Enhancement of opacity for distributed state estimation in cyber-physical 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
- Probabilistic system opacity in discrete event systems
- Enforcement of opacity by public and private insertion functions
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures
- Active opacity of discrete-event systems
- Information control in networked discrete event systems and its application to battery management systems
- Optimization-based assessment of initial-state opacity in Petri nets
- Sensor deception attacks against security in supervisory control systems
- State-based opacity of labeled real-time automata
- Game current-state opacity formulation in probabilistic resource automata
- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
This page was built for publication: Comparative analysis of related notions of opacity in centralized and coordinated architectures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q373013)
