J. P. Anderson, J. Pbib77, and ]. K. Biba, Computer Security Threat Monitoring and Surveillance Integrity considerations for secure computer systems, 1977.

D. Chandra and M. Franz, Fine-grained information ow analysis and enforcement in a java virtual machine, ACSAC, p.463475, 2007.

E. Dorothy, ]. S. Denningfhs97, S. A. Forrest, A. Hofmeyr, . [. Somayaji et al., A lattice model of secure information ow Computer immunology Security policies and security models, IEEE Symposium on Research in Security and Privacy, p.236243, 1976.

G. Hiet, L. Mé, B. Morin, V. Viet-triem, and . Tong, Monitoring both os and program level information ows to detect intrusions against network serversMonitoring, Attack Detection and Mitigation Benjamin Morin, and Valérie Viet Triem Tong. Détection able et pertinente de ux d'informations illégaux, Proc of the 2nd Conference on Security in Network Architectures and Information Systems (SARSSI), 2007.

M. A. Harrison, W. L. Ruzzo, J. D. Ullmanhs06, ]. S. Hunt, and D. Sands, Protection in operating systems On ow-sensitive security types, Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.461471-7990, 1976.

C. Ko and T. Redmond, Noninterference and intrusion detection, Proceedings 2002 IEEE Symposium on Security and Privacy, 2002.
DOI : 10.1109/SECPRI.2002.1004370

J. Leonard, D. E. Lapadula, and . Bell, Secure computer systems : A mathematical model MTR-2547 (ESD-TR-73-278-II), Muc97] S.S. Muchnick. Advanced compiler design and implementation, 1973.

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

K. Srijith, P. N. Nair, B. Simpson, A. S. Crispo, and . Tanenbaum, A virtual machine based information ow control system for policy enforcement, First International Workshop on Run Time Enforcement for Mobile and Distributed Systems, p.111, 2007.

A. Russo, A. Sabelfeldscs98, ]. R. Sekar, Y. Cai, and M. Segal, Dynamic vs. static ow-sensitive security analysis A specication-based approach for building survivable systems, Computer Security Foundations Symposium Proceedings of the 21st National Information Systems Security Conference (NISSC'98), pp.186199-338347, 1998.

R. Vallee-rai, L. J. Hendrenvs97, ]. Volpano, G. Smith-georey, C. Smith et al., Jimple : Simplifying java bytecode for analyses and transformations A type-based approach to program security A sound type system for secure ow analysis, Theory and Practice of Software Development, p.167187, 1996.

J. Zimmermann, L. Mé, and C. Bidan, An improved reference ow control model for policy-based intrusion detection, Proceedings of the 8th European Symposium on Research in Computer Security (ESORICS), 2003.