Verifying information flow goals in Security-Enhanced Linux
Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement William Skorupka · Journal of Computer Security · 2005
In this paper, we present a systematic way to determine the information flow security goals achieved by systems running a secure O/S, specifically systems running Security-Enhanced Linux. A formalization of the access control mechanism of the SELinux