The following pages link to Concurrent secrets (Q2465424):
Displaying 29 items.
- Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
- Synthesis of opaque systems with static and dynamic masks (Q453510) (← links)
- Verification of initial-state opacity in security applications of discrete event systems (Q497279) (← links)
- Synthesis of obfuscation policies to ensure privacy and utility (Q682359) (← links)
- Opacity of discrete event systems and its applications (Q716123) (← links)
- Enforcement and validation (at runtime) of various notions of opacity (Q896497) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Diagnosability of repairable faults (Q1788687) (← links)
- Probabilistic system opacity in discrete event systems (Q1788695) (← links)
- On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← 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)
- Using subobservers to synthesize opacity-enforcing supervisors (Q2106417) (← 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)
- Enforcing opacity of regular predicates on modal transition systems (Q2348369) (← links)
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371) (← links)
- Verification of opacity and diagnosability for pushdown systems (Q2375627) (← 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)
- A novel approach for supervisor synthesis to enforce opacity of discrete event systems (Q2672457) (← links)
- Dynamic Observers for the Synthesis of Opaque Systems (Q3648711) (← links)
- (Q5090956) (← links)
- Secret inference and attacktability analysis of discrete event systems (Q6122243) (← links)
- Game current-state opacity formulation in probabilistic resource automata (Q6125209) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
- Verifying weak and strong \(k\)-step opacity in discrete-event systems (Q6165326) (← links)
