Integrity considerations for secure computer systems, 1977. ,
Information Flow Query and Verification for Security Policy of Security-Enhanced Linux, Proceedings of IWSEC, pp.389-404, 2006. ,
DOI : 10.1007/11908739_28
A lattice model of secure information flow, Communications of the ACM, vol.19, issue.5, pp.236-243, 1976. ,
DOI : 10.1145/360051.360056
Access policy generation system based on process execution history, Network Security Forum, 2003. ,
Policy-based intrusion detection in web applications by monitoring java information flows, Int. J. Inf. Comput. Secur, vol.3, issue.34, pp.265-279, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00353000
Information flow in operating systems : Eager formal methods, Workshop on Issues on the Theory of Security, 2003. ,
Information flow control for standard os abstractions, Proceedings of the 21st Symposium on Operating Systems Principles, 2007. ,
Secure computer systems: A mathematical model. MTR-2547 (ESD-TR-73-278-II), MITRE Corp, vol.2, 1973. ,
the simplified mandatory access control kernel ,
Implementing selinux as a linux security module, 2002. ,
Specifying and enforcing a fine-grained information flow policy: Model and experiments, Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00516672
The TrustedBSD MAC Framework, Proceedings DARPA Information Survivability Conference and Exposition, p.13, 2003. ,
DOI : 10.1109/DISCEX.2003.1194900
Linux security modules: general security support for the linux kernel, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems], pp.17-31, 2002. ,
DOI : 10.1109/FITS.2003.1264934
Making information flow explicit in HiStar, OSDI '06: Proceedings of the 7th symposium on Operating systems design and implementation, pp.263-278, 2006. ,
DOI : 10.1145/2018396.2018419
Hardware enforcement of application security policies using tagged memory ,
Introducing Reference Flow Control for Detecting Intrusion Symptoms at the OS Level ,
DOI : 10.1007/3-540-36084-0_16