Modelling opacity using Petri nets
From MaRDI portal
Recommendations
- Current-state opacity modelling and verification in partially observed Petri nets
- Verification of K-step and infinite-step opacity of bounded labeled Petri nets
- Decidability of opacity verification problems in labeled Petri net systems
- Opacity of networked discrete event systems
- On-line verification of current-state opacity by Petri nets and integer linear programming
Cited in
(44)- Current-state opacity enforcement in discrete event systems under incomparable observations
- Probabilistic system opacity in discrete event systems
- Enforcement of opacity by public and private insertion functions
- On-line verification of current-state opacity by Petri nets and integer linear programming
- Current-state opacity modelling and verification in partially observed Petri nets
- Opacity of networked discrete event systems
- Comparing the notions of opacity for discrete-event systems
- Enforcing current-state opacity through shuffle and deletions of event observations
- Online verification of K-step opacity by Petri nets in centralized and decentralized structures
- 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
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers
- Decidability of opacity verification problems in labeled Petri net systems
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Initial-state detectability and initial-state opacity of unambiguous weighted automata
- A novel approach for supervisor synthesis to enforce opacity of discrete event systems
- A general language-based framework for specifying and verifying notions of opacity
- Simulation opacity
- Dynamics security policies and process opacity for timed process algebras
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Synthesis of insertion functions for enforcement of opacity security properties
- Verification of initial-state opacity in security applications of discrete event systems
- Partially ordered automata and piecewise testability
- Current-state opacity and initial-state opacity of modular discrete event systems
- Encoding threshold Boolean networks into reaction systems for the analysis of gene regulatory networks
- Non-interference notions based on reveals and excludes relations for Petri nets
- Studying opacity of reaction systems through formula based predictors
- Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions
- Game current-state opacity formulation in probabilistic resource automata
- Active opacity of discrete-event systems
- Online prognosis of stochastic discrete event systems with guaranteed performance bound
- Verifying weak and strong \(k\)-step opacity in discrete-event systems
- Symbolic state estimation in bounded timed labeled Petri nets
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets
- 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
- A symbolic approach to the verification and enforcement of current-state opacity using labelled Petri nets
- A two-pronged approach to security of discrete-event systems
- Verification of current-state opacity and opaque time for labeled time Petri net systems
- Opacity of discrete event systems and its applications
- Verification of current-state opacity using tagged colored Petri nets
- Verification and enforcement of strong state-based opacity for discrete-event systems
This page was built for publication: Modelling opacity using Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849576)
