J. Agat, Transforming out timing leaks, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '00, pp.40-53, 2000.
DOI : 10.1145/325694.325702

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. Almeida-matos, G. Boudol, and I. Castellani, Typing noninterference for reactive programs, The Journal of Logic and Algebraic Programming, vol.72, issue.2, pp.124-156, 2007.
DOI : 10.1016/j.jlap.2007.02.009

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

G. Barthe and L. Nieto, Formally verifying information flow type systems for concurrent and thread systems, Proceedings of the 2004 ACM workshop on Formal methods in security engineering , FMSE '04, 2004.
DOI : 10.1145/1029133.1029136

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

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

A. Bossi, R. Focardi, C. Piazza, and S. Rossi, Verifying persistent security properties, Computer Languages, Systems & Structures, vol.30, issue.3-4, pp.3-4, 2004.
DOI : 10.1016/j.cl.2004.02.005

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. Focardi and S. Rossi, Information flow security in dynamic contexts, Proceedings of the 15th IEEE Computer Security Foundations Workshop, 2002.
DOI : 10.3233/JCS-2006-14103

R. Focardi and R. Gorrieri, Classification of Security Properties (Part I: Information Flow) In Foundations of Security Analysis and Design -Tutorial Lectures, LNCS, vol.2171, 2001.

R. Focardi, S. Rossi, and A. Sabelfeld, Bridging Language-Based and Process Calculi Security, Proceedings of FoSSaCs'05, 2005.
DOI : 10.1007/978-3-540-31982-5_19

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

S. Crafa and S. Rossi, A Theory of Noninterference for the ??-Calculus, Proceedings of Symp. on Trustworthy Global Computing TGC'05, 2005.
DOI : 10.1007/11580850_2

M. Hennessy and J. Riely, Information flow vs. resource access in the asynchronous pi-calculus, ACM Transactions on Programming Languages and Systems, vol.24, issue.5, pp.566-591, 2002.
DOI : 10.1145/570886.570890

M. Hennessy, The security pi-calculus and non-interference, The Journal of Logic and Algebraic Programming, vol.63, issue.1, pp.3-34, 2004.
DOI : 10.1016/j.jlap.2004.01.003

S. , A. Kumar, and M. Hennessy, An efficiency preorder for processes, Acta Informatica, vol.1, issue.29, pp.737-760, 1992.

K. Honda, V. Vasconcelos, and N. Yoshida, Secure information flow as typed process behavior, Proceedings of ESOP'00, pp.180-199, 2000.
DOI : 10.1007/3-540-46425-5_12

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Honda and N. Yoshida, A uniform type structure for secure information flow, ACM TOPLAS. Extended abstract in Proceedings of POPL'02, pp.81-92, 2002.

N. Yoshida, K. Honda, and M. Berger, Linearity and bisimulation, Proceedings of FoSSaCs'02, pp.417-433, 2002.
DOI : 10.1016/j.jlap.2007.02.011

URL : http://doi.org/10.1016/j.jlap.2007.02.011

N. Kobayashi, B. Pierce, and D. Turner, Linearity and the ?-calculus, Proceedings of POPL'96, pp.358-371, 1996.

N. Kobayashi, Type-based information flow analysis for the ??-calculus, Acta Informatica, vol.15, issue.2/3, pp.291-347, 2005.
DOI : 10.1007/s00236-005-0179-x

R. Milner, Communication and Concurrency, 1989.

A. Myers, JFlow, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '99, pp.228-241, 1999.
DOI : 10.1145/292540.292561

A. Myers, L. Zheng, S. Zdancewic, S. Chong, and N. Nystrom, Jif: Java information flow. Software release, 2001.

F. Pottier, A simple view of type-secure information flow in the ??-calculus, Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15, pp.320-330, 2002.
DOI : 10.1109/CSFW.2002.1021826

F. Pottier and V. Simonet, Information flow inference for ML, ACM Transactions on Programming Languages and Systems, vol.25, issue.1, pp.117-158, 2003.
DOI : 10.1145/596980.596983

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

V. Simonet, The FlowCaml system: documentation and user manual. INRIA Tech, 2003.

H. Mantel and A. Sabelfeld, A unifying approach to the security of distributed and multi-threaded programs1, Journal of Computer Security, vol.11, issue.4, pp.615-676, 2003.
DOI : 10.3233/JCS-2003-11406

A. Sabelfeld and A. C. Myers, Language-based information-flow security, IEEE Journal on Selected Areas in Communications, vol.21, issue.1, pp.5-19, 2003.
DOI : 10.1109/JSAC.2002.806121

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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

D. Sangiorgi and D. Walker, The ?-calculus: a Theory of Mobile Processes, 2001.

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

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

D. Volpano and G. Smith, Probabilistic noninterference in a concurrent language, Proceedings. 11th IEEE Computer Security Foundations Workshop (Cat. No.98TB100238), pp.231-253, 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

S. Zdancewic and A. Myers, Secure information flow via linear continuations, Higher Order and Symbolic Computation, pp.209-234, 2002.

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) ?tt??????????r????r