A. , A. Matos, and G. Boudol, On declassification and the non-disclosure policy, To be presented at the Computer Security Foundations Workshop CSFW05, 2005.

A. Almeida-matos, G. Boudol, and I. Castellani, Typing noninterference for reactive programs, Workshop on Foundations of Computer Security FCS04, 2004.
DOI : 10.1016/j.jlap.2007.02.009

URL : https://hal.archives-ouvertes.fr/inria-00070413

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

G. Berry and G. Gonthier, The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992.
DOI : 10.1016/0167-6423(92)90005-V

URL : https://hal.archives-ouvertes.fr/inria-00075711

G. Boudol, ULM: A Core Programming Model for Global Computing, ESOP'04, 2004.
DOI : 10.1007/978-3-540-24725-8_17

G. Boudol and I. Castellani, Noninterference for Concurrent Programs, ICALP'01, number 2076 in Lecture Notes in Computer Science, pp.382-395, 2001.
DOI : 10.1007/3-540-48224-5_32

URL : https://hal.archives-ouvertes.fr/inria-00072334

G. Boudol and I. Castellani, Noninterference for concurrent programs and thread systems, Theoretical Computer Science, vol.281, issue.1-2, pp.109-130, 2002.
DOI : 10.1016/S0304-3975(02)00010-5

URL : https://hal.archives-ouvertes.fr/inria-00072334

F. Boussinot, Reactive Programming, Software. URL: http://www-sop.inria.fr/mimosa, 2003.

J. Susini and F. Boussinot, The sugarcubes tool box: a reactive JAVA framework. Software Practice and Experience, pp.1531-1550, 1998.

J. A. 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

N. Halbwachs, Synchronous programming of reactive systems, 1993.

N. Yoshida and K. Honda, A uniform type structure for secure information flow, Proceedings of the The 29th Annual ACM SIGPLAN -SIGACT Symposium on Principles of Programming Languages, 2002.

A. Myers and S. Zdancewic, Observational determinism for concurrent program security, Proceedings of the 16th IEEE Computer Security Foundations Workshop, 2003.

A. Sabelfeld, The impact of synchronization on secure information flow in concurrent programs, Proceedings of Andrei Ershov 4th International Conference on Perspectives of System Informatics, 2001.

A. Sabelfeld and D. Sands, Probabilistic noninterference for multi-threaded programs, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 2000.
DOI : 10.1109/CSFW.2000.856937

G. Smith and D. Volpano, Secure information flow in a multi-threaded imperative language, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.355-364, 1998.
DOI : 10.1145/268946.268975

G. Smith, A new type system for secure information flow, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001., pp.115-125, 2001.
DOI : 10.1109/CSFW.2001.930141

D. Volpano and G. Smith, Probabilistic noninterference in a concurrent language, Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238), 1999.
DOI : 10.1109/CSFW.1998.683153

D. Volpano, G. Smith, and C. Irvine, A sound type system for secure flow analysis, Journal of Computer Security, vol.4, issue.2-3, pp.167-187, 1996.
DOI : 10.3233/JCS-1996-42-304

I. Unité-de-recherche-inria-sophia and . Antipolis, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, 2004.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399