On declassification and the non-disclosure policy, To be presented at the Computer Security Foundations Workshop CSFW05, 2005. ,
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
The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003. ,
DOI : 10.1109/JPROC.2002.805826
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
ULM: A Core Programming Model for Global Computing, ESOP'04, 2004. ,
DOI : 10.1007/978-3-540-24725-8_17
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
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
Reactive Programming, Software. URL: http://www-sop.inria.fr/mimosa, 2003. ,
The sugarcubes tool box: a reactive JAVA framework. Software Practice and Experience, pp.1531-1550, 1998. ,
Security Policies and Security Models, 1982 IEEE Symposium on Security and Privacy, pp.11-20, 1982. ,
DOI : 10.1109/SP.1982.10014
Synchronous programming of reactive systems, 1993. ,
A uniform type structure for secure information flow, Proceedings of the The 29th Annual ACM SIGPLAN -SIGACT Symposium on Principles of Programming Languages, 2002. ,
Observational determinism for concurrent program security, Proceedings of the 16th IEEE Computer Security Foundations Workshop, 2003. ,
The impact of synchronization on secure information flow in concurrent programs, Proceedings of Andrei Ershov 4th International Conference on Perspectives of System Informatics, 2001. ,
Probabilistic noninterference for multi-threaded programs, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 2000. ,
DOI : 10.1109/CSFW.2000.856937
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
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
Probabilistic noninterference in a concurrent language, Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238), 1999. ,
DOI : 10.1109/CSFW.1998.683153
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
route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, 2004. ,
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 ,
BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399 ,