Concurrent secrets. Discrete Event Dynamic Systems, vol.17, pp.425-446, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00070249
Quantifying opacity, Mathematical Structures in Computer Science, vol.25, issue.2, pp.361-403, 2015. ,
Opacity generalised to transition systems, In Formal Aspects in Security and Trust, pp.81-95, 2005. ,
Synthesis of opaque systems with static and dynamic masks, Formal Methods in System Design, vol.40, issue.1, pp.88-115, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00662539
The complexity of partial-observation parity games, Proc. of LPAR'17, vol.6397, pp.1-14, 2010. ,
Games with a weak adversary, Proc. of ICALP 2014, Part II, vol.8573, pp.110-121, 2014. ,
Security policies and security models, Proc of IEEE Symposium on Security and Privacy, pp.11-20, 1982. ,
Automata Logics, and Infinite Games : A Guide to Current Research, LNCS, vol.2500, 1998. ,
Multiple-person alternation, FOCS'79, pp.348-363, 1979. ,
Universal games of incomplete information, STOC, 1979. ,
Diagnosability of discrete event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995. ,
Synthesis of insertion functions for enforcement of opacity security properties, Automatica, vol.50, issue.5, pp.1336-1348, 2014. ,