Concurrent secrets, Discrete Event Dyn. Syst, vol.17, issue.4, pp.425-446, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00070249
Incremental verification and synthesis of discrete-event systems guided by counter-examples, IEEE Trans. Contr. Syst. Technol, vol.12, issue.3, pp.387-401, 2004. ,
Opacity generalised to transition systems, Int. J. Inf. Secur, vol.7, issue.6, pp.421-435, 2008. ,
Synthesis of opaque systems with static and dynamic masks, Form. Methods Syst. Des, vol.40, issue.1, pp.88-115, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00662539
Diagnosability of discrete event systems with modular structure, Discrete Event Dyn. Syst, vol.16, issue.1, pp.9-37, 2006. ,
Modular control of composed systems, ACC, pp.4051-4055, 2000. ,
Opacity enforcing control synthesis, WODES, pp.28-35, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00265855
Supervisory control for opacity, IEEE Trans. Automat. Contr, vol.55, issue.5, pp.1089-1100, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00360186
Overview of discrete event systems opacity, ARC, vol.41, pp.135-146, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01275244
Turbo planning, WODES, pp.301-306, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01699581
On observability of discrete-event systems, Info. Sci, vol.44, issue.3, pp.173-198, 1988. ,
Complexity of detectability, opacity and a-diagnosability for modular discrete event systems, Automatica, vol.101, pp.290-295, 2019. ,
Decidability of opacity with non-atomic keys, FAST, pp.71-84, 2005. ,
Supervision of discrete event processes, CDC, pp.1228-1229, 1982. ,
Reducedcomplexity verification for initial-state opacity in modular discrete event systems, WODES, pp.78-83, 2010. ,
Current-state opacity verification in modular discrete event systems, CDC, pp.7665-7670, 2019. ,
Currentstate opacity enforcement in discrete event systems under incomparable observations, Discrete Event Dyn. Syst, vol.28, issue.2, pp.161-182, 2018. ,