Concurrent Secrets, Discrete Event Dynamic Systems, vol.5, issue.4, pp.425-446, 2007. ,
DOI : 10.2140/pjm.1955.5.285
URL : https://hal.archives-ouvertes.fr/inria-00070249
Quantifying opacity, Mathematical Structures in Computer Science, vol.12, issue.02, pp.361-403, 2015. ,
DOI : 10.1016/j.ic.2007.07.003
Active Diagnosis for Probabilistic Systems, Proc. of FOSSACS 2014, pp.29-42, 2014. ,
DOI : 10.1007/978-3-642-54830-7_2
URL : https://hal.archives-ouvertes.fr/hal-00930919
Opacity generalised to transition systems, Formal Aspects in Security and Trust, pp.81-95, 2005. ,
DOI : 10.1007/11679219_7
URL : http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BKMR-fast05.pdf
Synthesis of opaque systems with static and dynamic masks. Formal Methods in System Design, pp.88-115, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00662539
The Complexity of Partial-Observation Parity Games, Proc. of LPAR'17, pp.1-14, 2010. ,
DOI : 10.1007/978-3-642-59126-6_7
Games with a Weak Adversary, Proc. of ICALP 2014, Part II, pp.110-121, 2014. ,
DOI : 10.1007/978-3-662-43951-7_10
Security Policies and Security Models, 1982 IEEE Symposium on Security and Privacy, pp.11-20, 1982. ,
DOI : 10.1109/SP.1982.10014
Automata Logics, and Infinite Games : A Guide to Current Research, LNCS, vol.2500, 1998. ,
DOI : 10.1007/3-540-36387-4
Optimal constructions for active diagnosis, Journal of Computer and System Sciences, vol.83, issue.1, pp.101-120, 2017. ,
DOI : 10.1016/j.jcss.2016.04.007
URL : https://hal.archives-ouvertes.fr/hal-00926098
Multiple-person alternation, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979), pp.348-363, 1979. ,
DOI : 10.1109/SFCS.1979.25
Universal games of incomplete information, Proceedings of the eleventh annual ACM symposium on Theory of computing , STOC '79, 1979. ,
DOI : 10.1145/800135.804422
Diagnosability of discrete event systems, IEEE Trans. Autom. Control, issue.9, pp.40-1555, 1995. ,
Synthesis of insertion functions for enforcement of opacity security properties, Automatica, vol.50, issue.5, pp.1336-1348, 2014. ,
DOI : 10.1016/j.automatica.2014.02.038