R. Alur, P. Cern´ycern´y, and S. Zdancewic, Preserving Secrecy Under Refinement, Automata, Languages and Programming, pp.107-11810, 2006.
DOI : 10.1007/11787006_10

E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, and P. Darondeau, Concurrent secrets. Discrete Event Dynamic Systems, pp.425-446, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00070249

M. Ben-kalefa and F. Lin, Opaque superlanguages and sublanguages in discrete event systems, 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on, pp.199-204, 2009.

M. Ben-kalefa and F. Lin, Supervisory control for opacity of discrete event systems, 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp.1113-111910, 2011.
DOI : 10.1109/Allerton.2011.6120292

G. Benattar, F. Cassez, D. Lime, and O. H. Roux, Control and synthesis of non-interferent timed systems, International Journal of Control, vol.168, issue.2, 2015.
DOI : 10.1109/JSAC.2002.806121

B. Bérard, K. Chatterjee, and N. Sznajder, Probabilistic opacity for Markov decision processes, Information Processing Letters, vol.115, issue.1, pp.52-59, 2015.
DOI : 10.1016/j.ipl.2014.09.001

B. Bérard and J. Mullins, Verification of information flow properties under rational observation, 2014.

B. Bérard, J. Mullins, and M. Sassolas, Quantifying opacity, Seventh International Conference on the, pp.263-272, 2010.

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

B. Bérard and J. Mullins, Non-interference in partial order models, ACSD 2015, 2015.

J. W. Bryans, M. Koutny, L. Mazaré, and P. Y. Ryan, Opacity generalised to transition systems, International Journal of Information Security, vol.79, issue.3???4, pp.421-435, 2008.
DOI : 10.1007/s10207-008-0058-x

J. W. Bryans, M. Koutny, and C. Mu, Towards Quantitative Analysis of Opacity, 2011.
DOI : 10.1007/978-3-642-41157-1_10

J. W. Bryans, M. Koutny, and P. Y. Ryan, Modelling Opacity Using Petri Nets, Electronic Notes in Theoretical Computer Science, vol.121, 2005.
DOI : 10.1016/j.entcs.2004.10.010

C. G. Cassandras and S. Lafortune, Introduction to discrete event systems, 2008.

F. Cassez, The dark side of timed opacity Advances in Information Security and Assurance (pp. 21?30), Lecture Notes in Computer Science. URL, vol.5576, pp.978-981, 2009.

F. Cassez, J. Dubreil, and H. Marchand, Dynamic Observers for the Synthesis of Opaque Systems, Automated Technology for Verification and Analysis, pp.352-367, 2009.
DOI : 10.1007/978-3-642-04761-9_26
URL : https://hal.archives-ouvertes.fr/inria-00396442

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

F. Cassez, J. Mullins, and O. H. Roux, Synthesis of noninterferent systems, 4th Int. Conf. on Mathematical Methods, Models and Architectures for Computer Network Security (MMM- ACNS'07), pp.307-321, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00363029

D. Chaum, The dining cryptographers problem: Unconditional sender and recipient untraceability, Journal of Cryptology, vol.1, issue.1, pp.65-75, 1988.
DOI : 10.1007/BF00206326

S. Chédor, Diagnosis, opacity and conformance testing for recursive tile systems. Theses Université Rennes 1. URL: https, 2014.

S. Chédor, C. Morvan, S. Pinchinat, and H. Marchand, Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems. Discrete Event Dynamic Systems, pp.10-1007, 2014.

P. Darondeau, H. Marchand, and L. Ricker, Enforcing opacity of regular predicates on modal transition systems, Discrete Event Dynamic Systems, pp.1-20, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00987988

J. Dubreil, Monitoring and Supervisory Control for Opacity Properties. English. tel-00461306 Ph.D. dissertation, Software Engineering, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00461306

J. Dubreil, P. Darondeau, and H. Marchand, Opacity enforcing control synthesis, 2008 9th International Workshop on Discrete Event Systems, pp.28-3510, 2008.
DOI : 10.1109/WODES.2008.4605918
URL : https://hal.archives-ouvertes.fr/inria-00344269

J. Dubreil, P. Darondeau, and H. Marchand, Supervisory control for opacity. Automatic Control, IEEE Transactions on, vol.55, pp.1089-1100, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00483891

J. Dubreil, T. Jéron, and H. Marchand, Monitoring confidentiality by diagnosis techniques, European Control Conference, pp.2584-2589, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00420420

Y. Falcone and H. Marchand, Runtime enforcement of kstep opacity, Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on, pp.7271-7278, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00863223

Y. Falcone and H. Marchand, Enforcement and validation (at runtime) of various notions of opacity. Discrete Event Dynamic Systems, pp.4210-1007, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00987985

R. Focardi and R. Gorrieri, A taxonomy of trace-based security properties for CCS, Proceedings The Computer Security Foundations Workshop VII, pp.126-13610, 1994.
DOI : 10.1109/CSFW.1994.315941

N. B. Hadj-alouane, S. Lafrance, F. Lin, J. Mullins, and M. M. Yeddes, On the Verification of Intransitive Noninterference in Mulitlevel Security, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.35, issue.5, pp.948-958, 2005.
DOI : 10.1109/TSMCB.2005.847749

C. Hadjicostis and C. Keroglou, Opacity formulations and verification in discrete event systems, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), pp.2014-2015, 2014.
DOI : 10.1109/ETFA.2014.7005032

C. N. Hadjicostis, Resolution of initial-state in security applications of DES, 2012 20th Mediterranean Conference on Control & Automation (MED), pp.794-799, 2012.
DOI : 10.1109/MED.2012.6265735

M. Ibrahim, J. Chen, and R. Kumar, Secrecy in stochastic discrete event systems, Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control, pp.48-53, 2014.
DOI : 10.1109/ICNSC.2014.6819598

C. Keroglou and C. N. Hadjicostis, Initial state opacity in stochastic DES, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), pp.1-8, 2013.
DOI : 10.1109/ETFA.2013.6648005

K. Klai, N. Hamdi, and N. B. Hadj-alouane, An on-thefly approach for the verification of opacity in critical systems, WETICE Conference (WETICE), 2014 IEEE 23rd International, pp.345-350, 2014.

K. Kobayashi and K. Hiraishi, Verification of Opacity and Diagnosability for Pushdown Systems, Journal of Applied Mathematics, vol.36, issue.2, 2005.
DOI : 10.1007/978-3-540-24597-1_10

K. G. Larsen, Modal specifications In Automatic Verification Methods for Finite State Systems, pp.232-246, 1990.

J. Ligatti, L. Bauer, and D. Walker, Edit automata: enforcement mechanisms for run-time security policies, International Journal of Information Security, vol.3, issue.1-2, pp.2-16, 2005.
DOI : 10.1007/s10207-004-0046-8

F. Lin, Opacity of discrete event systems and its applications, Automatica, vol.47, issue.3, pp.496-503, 2011.
DOI : 10.1016/j.automatica.2011.01.002

B. Maubert, S. Pinchinat, and L. Bozzelli, Opacity issues in games with imperfect information. arXiv preprint arXiv:1106, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00630077

L. Mazaré, Using unification for opacity properties, Proceedings of WITS, pp.165-176, 2004.

J. Mullins and M. Yeddes, Opacity with orwellian observers and intransitive non-interference. arXiv preprint arXiv:1312, 2013.

O. 'kane, J. M. Shell, and D. A. , Automatic design of discreet discrete filters, Proc. IEEE International Conference on Robotics and Automation. URL, 2015.

A. Paoli and F. Lin, Decentralized opacity of discrete event systems, 2012 American Control Conference (ACC), pp.6083-6088, 2012.
DOI : 10.1109/ACC.2012.6315028

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

M. K. Reiter and A. D. Rubin, Crowds: anonymity for Web transactions, ACM Transactions on Information and System Security, vol.1, issue.1, pp.66-92, 1998.
DOI : 10.1145/290163.290168

A. Saboori, Verification and enforcement of state-based notions of opacity in discrete event systems, 2011.

A. Saboori and C. N. Hadjicostis, Notions of security and opacity in discrete event systems, 2007 46th IEEE Conference on Decision and Control, pp.5056-5061, 2007.
DOI : 10.1109/CDC.2007.4434515

A. Saboori and C. N. Hadjicostis, Opacity-enforcing supervisory strategies for secure discrete event systems, 2008 47th IEEE Conference on Decision and Control, pp.889-894, 2008.
DOI : 10.1109/CDC.2008.4738646

A. Saboori and C. N. Hadjicostis, Verification of initial-state opacity in security applications of DES, 2008 9th International Workshop on Discrete Event Systems, pp.328-33310, 2008.
DOI : 10.1109/WODES.2008.4605967

A. Saboori and C. N. Hadjicostis, Verification of Infinite-Step Opacity and Analysis of its Complexity*, Dependable control of discrete systems, pp.46-51, 2009.
DOI : 10.3182/20090610-3-IT-4004.00013

A. Saboori and C. N. Hadjicostis, Opacity verification in stochastic discrete event systems, 49th IEEE Conference on Decision and Control (CDC), pp.6759-6764, 2010.
DOI : 10.1109/CDC.2010.5717580

A. Saboori and C. N. Hadjicostis, Probabilistic currentstate opacity is undecidable, Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems?MTNS . volume, 2010.

A. Saboori and C. N. Hadjicostis, Coverage analysis of mobile agent trajectory via state-based opacity formulations, Control Engineering Practice, vol.19, issue.9, pp.967-977, 2011.
DOI : 10.1016/j.conengprac.2010.12.003

A. Saboori and C. N. Hadjicostis, Verification of K-step opacity and analysis of its complexity, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, pp.549-559, 2011.
DOI : 10.1109/CDC.2009.5400083

A. Saboori and C. N. Hadjicostis, Opacity-enforcing supervisory strategies via state estimator constructions. Automatic Control, IEEE Transactions on, vol.57, pp.1155-1165, 2011.

A. Saboori and C. N. Hadjicostis, Verification of initial-state opacity in security applications of discrete event systems, Information Sciences, vol.246, pp.115-132, 2013.
DOI : 10.1016/j.ins.2013.05.033

A. Saboori and C. N. Hadjicostis, Current-state opacity formulations in probabilistic finite automata. Automatic Control, IEEE Transactions on, vol.59, pp.120-133, 2013.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis, Failure diagnosis using discrete-event models. Control Systems Technology, IEEE Transactions on, vol.4, pp.105-124, 1996.

F. B. Schneider, Enforceable security policies, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems], pp.30-50, 2000.
DOI : 10.1109/FITS.2003.1264930

S. Schneider and A. Sidiropoulos, CSP and anonymity, Computer SecurityESORICS 96, pp.198-218, 1996.
DOI : 10.1007/3-540-61770-1_38

S. Takai and R. Kumar, Verification and synthesis for secrecy in discrete-event systems, 2009 American Control Conference, pp.4741-474610, 2009.
DOI : 10.1109/ACC.2009.5160162

S. Takai and Y. Oka, A Formula for the Supremal Controllable and Opaque Sublanguage Arising in Supervisory Control, SICE Journal of Control, Measurement, and System Integration, vol.1, issue.4, pp.307-311, 2008.
DOI : 10.9746/jcmsi.1.307

Y. Wu, Verification and Enforcement of Opacity Security Properties in Discrete Event Systems, 2014.

Y. Wu and S. Lafortune, Comparative analysis of related notions of opacity in centralized and coordinated architectures . Discrete Event Dynamic Systems, pp.307-339, 2013.

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

Y. Wu, K. A. Sankararaman, and S. Lafortune, Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement, Discrete Event Systems, pp.33-38, 2014.
DOI : 10.3182/20140514-3-FR-4046.00008

J. Zaytoon and S. Lafortune, Overview of fault diagnosis methods for Discrete Event Systems, Annual Reviews in Control, vol.37, issue.2, 2013.
DOI : 10.1016/j.arcontrol.2013.09.009

B. Zhang, S. Shu, and F. Lin, Polynomial algorithms to check opacity in discrete event systems, 2012 24th Chinese Control and Decision Conference (CCDC), pp.763-769, 2012.
DOI : 10.1109/CCDC.2012.6244117

B. Zhang, S. Shu, and F. Lin, Maximum information release while ensuring opacity in discrete event systems, Robotics and Automation (ICRA), 2014 IEEE International Conference on, pp.3285-3290, 2014.

B. Zhang, S. Shu, and F. Lin, Maximum information release while ensuring opacity in discrete event systems, Automation Science and Engineering IEEE Transactions on, pp.1067-1079, 2015.