Enforcing opacity of regular predicates on modal transition systems
From MaRDI portal
Publication:2348369
DOI10.1007/s10626-014-0193-7zbMath1320.68126OpenAlexW2093645787MaRDI QIDQ2348369
Laurie Ricker, Hervé Marchand, Philippe Darondeau
Publication date: 12 June 2015
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-00987988/file/jdeds.pdf
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers ⋮ Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder ⋮ Matrix approach for verification of opacity of partially observed discrete event systems ⋮ Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems ⋮ Enforcement of opacity by public and private insertion functions
Cites Work
- Unnamed Item
- Synthesis of insertion functions for enforcement of opacity security properties
- Verification of initial-state opacity in security applications of discrete event systems
- Opacity of discrete event systems and its applications
- Modal specifications for the control theory of discrete event systems
- Concurrent secrets
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory Control for Opacity
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
This page was built for publication: Enforcing opacity of regular predicates on modal transition systems
