Active opacity of discrete-event systems
From MaRDI portal
Recommendations
- Strong current-state and initial-state opacity of discrete-event systems
- Comparing the notions of opacity for discrete-event systems
- Verifying weak and strong \(k\)-step opacity in discrete-event systems
- Opacity of networked discrete event systems
- Current-state opacity enforcement in discrete event systems under incomparable observations
Cites work
- \(k\)-memory-embedded insertion mechanism for opacity enforcement
- \(N\)-diagnosability for active on-line diagnosis in discrete event systems
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Concurrent secrets
- CSP and anonymity
- Current-state opacity modelling and verification in partially observed Petri nets
- Enforcement and validation (at runtime) of various notions of opacity
- Enforcement of opacity by public and private insertion functions
- Enforcing opacity by insertion functions under multiple energy constraints
- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
- Modelling opacity using Petri nets
- On-line verification of current-state opacity by Petri nets and integer linear programming
- Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
- Opacity of discrete event systems and its applications
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
- Supervisory Control for Opacity
- Synthesis of insertion functions for enforcement of opacity security properties
- Synthesis of obfuscation policies to ensure privacy and utility
- Verification of Infinite-Step Opacity and Complexity Considerations
- Verification of initial-state opacity in security applications of discrete event systems
Cited in
(17)- Infinite-step opacity and K-step opacity of stochastic discrete-event systems
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Probabilistic system opacity in discrete event systems
- Enforcing current-state opacity through shuffle and deletions of event observations
- A framework for current-state opacity under dynamic information release mechanism
- Information control in networked discrete event systems and its application to battery management systems
- Concurrent secrets
- Strong current-state and initial-state opacity of discrete-event systems
- Current-state opacity and initial-state opacity of modular discrete event systems
- Current-state opacity of incomplete discrete-event systems
- scientific article; zbMATH DE number 7155812 (Why is no real title available?)
- scientific article; zbMATH DE number 5583830 (Why is no real title available?)
- Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems
- Secret inference and attacktability analysis of discrete event systems
- Opacity enforcement in discrete event systems using differential privacy
- Optimal control strategy for k-level opaque systems based on the optimization method of multi-selection problems at each stage
- Monitor-based synthesis in enforcing disjunctive generalised mutual exclusion constraints
This page was built for publication: Active opacity of discrete-event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6134222)
