Paranoid penguin : an introduction to novell apparmor Integrity considerations for secure computer systems Secure computer systems : Mathematical foundations Towards a taxonomy of intrusion-detection systems, DDW99] Hervé Debar, Marc Dacier, and Andreas Wespi, pp.13-31805, 1973. ,
Labels and event processes in the asbestos operating system Dynamic taint propagation for java N-gram against the machine : on the feasibility of the n-gram network analysis for binary protocols, Software Engineering Computer Security Applications Conference, 21st Annual IEEE, 2005. [HSB + 12] Dina Had?iosmanovi? Research in Attacks, Intrusions, and Defenses, pp.222-23217, 1987. ,
USTAT: a real-time intrusion detection system for UNIX, Proceedings 1993 IEEE Computer Society Symposium on Research in Security and Privacy, pp.16-28, 1993. ,
DOI : 10.1109/RISP.1993.287646
Noninterference and intrusion detection A pattern matching model for misuse intrusion detection, Proceedings. 2002 IEEE Symposium onLov10] Robert Love. Linux kernel development, pp.177-18718, 1974. ,
Protecting privacy using the decentralized label model, ACM Transactions on Software Engineering and Methodology (TOSEM), vol.9, issue.4, pp.410-442, 2000. ,
Jif : Java information flow Software release Communicating between the kernel and user-space in linux using netlink sockets. Software : Practice and Experience Emerald : Event monitoring enabling response to anomalous live disturbances, Proceedings of the 20th national information systems security conference, pp.797-810, 1997. ,
Snort-lightweight intrusion detection for networks, Proceedings of the 13th USENIX conference on System administration, pp.229-238, 1999. ,
Laminar : Practical fine-grained decentralized information flow control, 2009. ,
The flow caml system. Software release. Located at http ://cristal . inria. fr/? simonet, 2003. ,
URL : https://hal.archives-ouvertes.fr/inria-00069896
Language-based information-flow security. Selected Areas in Communications, IEEE Journal on, vol.21, issue.1, pp.5-19, 2003. ,
Outside the Closed World: On Using Machine Learning for Network Intrusion Detection, 2010 IEEE Symposium on Security and Privacy, pp.305-316, 2010. ,
DOI : 10.1109/SP.2010.25
Access control : principle and practice, Communications Magazine IEEE, vol.32, issue.9, pp.40-48, 1994. ,
Implementing selinux as a linux security module, 2001. ,
A stateful intrusion detection system for world-wide web servers, 19th Annual Computer Security Applications Conference, 2003. Proceedings., pp.34-43, 2003. ,
DOI : 10.1109/CSAC.2003.1254308
Specifying and enforcing a fine-grained information flow policy : Model and experiments, Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, pp.56-71, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00516672
Linux security modules: general security support for the linux kernel, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems], p.44, 2002. ,
DOI : 10.1109/FITS.2003.1264934
Making information flow explicit in HiStar, Proceedings of the 7th symposium on Operating systems design and implementation, pp.263-278, 2006. ,
DOI : 10.1145/2018396.2018419
Challenges for information-flow security, Proceedings of the 1st International Workshop on the Programming Language Interference and Dependence, 2004. ,