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.

J. Dubreil, P. Darondeau, and H. 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, P. Darondeau, and H. Marchand, Supervisory Control for Opacity, IEEE Transactions on Automatic Control, vol.55, issue.5, 2009.
DOI : 10.1109/TAC.2010.2042008
URL : https://hal.archives-ouvertes.fr/inria-00483891

G. Feuillade and S. , Pinchinat: Modal Specifications for the Control Theory of Discrete Event Systems, Discrete Event Dyn Syst, pp.211-232, 2007.

M. Hennessy, Acceptance trees, Journal of the ACM, vol.32, issue.4, pp.896-928, 1985.
DOI : 10.1145/4221.4249

K. G. Larsen, Modal specifications, LNCS, vol.407, pp.232-246, 1990.
DOI : 10.1007/3-540-52148-8_19

H. Hüttel and K. G. Larsen, The use of static constructs in a modal process logic, Logic at Botik, pp.163-180, 1989.

N. Lohmann, P. Massuthe, and K. Wolf, Operating Guidelines for Finite-State Services, Proc. ICATPN, pp.321-341, 2007.
DOI : 10.1007/978-3-540-73094-1_20

N. Lohmann and K. , Wolf: Petrifying Operating Guidelines for Services, Proc. ACSD, pp.80-88, 2009.

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, On the Supremal Controllable Language of a Given Language, SIAM Journal of Control and Optimization, vol.25, pp.637-659, 1987.

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

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

A. Saboori and C. N. , Hadjicostis: Opacity-Enforcing Supervisory Strategies for Secure Discrete Event Systems, Proceedings of CDC 2008, the 47th IEEE Conference on Decision and Control, 2008.
DOI : 10.1109/cdc.2008.4738646

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

J. G. Thistle and W. M. Wonham, Supervision of Infinite Behavior of Discrete-Event Systems, SIAM Journal on Control and Optimization, vol.32, issue.4, pp.1098-1113, 1994.
DOI : 10.1137/S0363012991217524