E. Badouel, M. A. Bednarczyk, A. M. Borzyszkowski, B. Caillaud, and P. Darondeau, 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

B. Bérard, J. Mullins, and M. Sassolas, Quantifying opacity, Mathematical Structures in Computer Science, vol.12, issue.02, pp.361-403, 2015.
DOI : 10.1016/j.ic.2007.07.003

N. Bertrand, E. Fabre, S. Haar, S. Haddad, and L. Hélouët, 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

J. Bryans, M. Koutny, L. Mazaré, R. , and P. Y. , 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

F. Cassez, J. Dubreil, and H. Marchand, 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

K. Chatterjee and L. Doyen, The Complexity of Partial-Observation Parity Games, Proc. of LPAR'17, pp.1-14, 2010.
DOI : 10.1007/978-3-642-59126-6_7

K. Chatterjee and L. Doyen, Games with a Weak Adversary, Proc. of ICALP 2014, Part II, pp.110-121, 2014.
DOI : 10.1007/978-3-662-43951-7_10

J. Goguen and J. Meseguer, Security Policies and Security Models, 1982 IEEE Symposium on Security and Privacy, pp.11-20, 1982.
DOI : 10.1109/SP.1982.10014

E. Grädel and W. Thomas, Automata Logics, and Infinite Games : A Guide to Current Research, LNCS, vol.2500, 1998.
DOI : 10.1007/3-540-36387-4

S. Haar, S. Haddad, T. Melliti, and S. Schwoon, 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

G. L. Peterson and J. H. Reif, Multiple-person alternation, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979), pp.348-363, 1979.
DOI : 10.1109/SFCS.1979.25

J. Reif, Universal games of incomplete information, Proceedings of the eleventh annual ACM symposium on Theory of computing , STOC '79, 1979.
DOI : 10.1145/800135.804422

M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis, Diagnosability of discrete event systems, IEEE Trans. Autom. Control, issue.9, pp.40-1555, 1995.

Y. Wu, S. Lafortune, and S. , 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