The following pages link to (Q2849576):
Displaying 34 items.
- Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
- Synthesis of insertion functions for enforcement of opacity security properties (Q458746) (← links)
- Verification of initial-state opacity in security applications of discrete event systems (Q497279) (← links)
- Opacity of discrete event systems and its applications (Q716123) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Probabilistic system opacity in discrete event systems (Q1788695) (← links)
- Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
- On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
- Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Comparing the notions of opacity for discrete-event systems (Q2063098) (← links)
- Enforcing current-state opacity through shuffle and deletions of event observations (Q2065172) (← links)
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818) (← links)
- A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)
- Information control in networked discrete event systems and its application to battery management systems (Q2197580) (← links)
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers (Q2197587) (← links)
- Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
- Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
- A novel approach for supervisor synthesis to enforce opacity of discrete event systems (Q2672457) (← links)
- A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
- Dynamics Security Policies and Process Opacity for Timed Process Algebras (Q3179174) (← links)
- (Q4989409) (← links)
- Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
- Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks (Q5164854) (← links)
- Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets (Q5268427) (← links)
- Game current-state opacity formulation in probabilistic resource automata (Q6125209) (← links)
- Online prognosis of stochastic discrete event systems with guaranteed performance bound (Q6136112) (← links)
- Verifying weak and strong \(k\)-step opacity in discrete-event systems (Q6165326) (← links)
- Symbolic state estimation in bounded timed labeled Petri nets (Q6192943) (← links)
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets (Q6539394) (← links)
- Opacity of discrete-event systems under nondeterministic observation mechanism (Q6580966) (← links)
- Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations (Q6594952) (← links)
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems (Q6645045) (← links)
