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

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-1119, 2011.
DOI : 10.1109/Allerton.2011.6120292

J. W. Bryans, M. Koutny, L. Mazaré, and P. Y. Ryan, Opacity generalized to transition systems, Int. Journal of Computer Security, vol.7, issue.6, pp.421-435, 2008.
DOI : 10.1007/s10207-008-0058-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.7966

. Ph, J. Darondeau, H. Dubreil, and . Marchand, Supervisory control for modal specifications of services, Workshop on Discrete Event Systems, WODES'10, pp.428-435, 2010.

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

J. Dubreil, . Ph, H. Darondeau, and . Marchand, Supervisory Control for Opacity, IEEE Transactions on Automatic Control, vol.55, issue.5, pp.1089-1100, 2010.
DOI : 10.1109/TAC.2010.2042008
URL : https://hal.archives-ouvertes.fr/inria-00360186

G. Feuillade and S. Pinchinat, Modal specifications for the control theory of discrete event systems. Discrete Event Dynamic Systems: Theory and Applications, pp.211-232, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00555754

C. N. Hadjicostis, Supervisory control strategies for enhancing system security and privacy, 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp.1622-1627, 2010.
DOI : 10.1109/ALLERTON.2010.5707108

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

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

N. Lohmann, P. Massuth, and K. Wolf, Operating guidelines for finitestate services, Proc. ICATPN, pp.321-341, 2007.

L. Mazaré, Decidability of Opacity with Non-Atomic Keys, Proc. FAST'04, pp.71-84, 2004.
DOI : 10.1007/0-387-24098-5_6

L. Mazaré, Using unification for opacity properties, Proceedings of the 4th IFIP WG1.7 Workshop on Issues in the Theory of Security, pp.165-176, 2004.

P. J. Ramadge and W. M. Wonham, On the supremal controllable language of a given language, SIAM J. of Control and Optimization, vol.25, pp.637-659, 1987.

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

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

A. Saboori and C. 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. Hadjicostis, Verification of initial-state opacity in security applications of DES, 2008 9th International Workshop on Discrete Event Systems, pp.328-333, 2008.
DOI : 10.1109/WODES.2008.4605967

A. Saboori and C. Hadjicostis, Opacity-Enforcing Supervisory Strategies via State Estimator Constructions, IEEE Transactions on Automatic Control, vol.57, issue.5, pp.1155-1165, 2012.
DOI : 10.1109/TAC.2011.2170453

S. Takai and R. Kumar, Verification and synthesis for secrecy in discreteevent systems, Proc. American Control Conference, pp.4741-4746, 2009.

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-312, 2008.
DOI : 10.9746/jcmsi.1.307

Y. Wu and S. Lafortune, Enforcement of opacity properties using insertion functions, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), pp.6722-6728, 2012.
DOI : 10.1109/CDC.2012.6426760