![](/img/cover-not-exists.png)
Verifying information flow goals in Security-Enhanced Linux
Guttman, Joshua D., Herzog, Amy L., Ramsdell, John D., Skorupka, Clement W., Gorrieri, RobertoVolume:
13
Journal:
Journal of Computer Security
DOI:
10.3233/JCS-2005-13105
Date:
January, 2005
File:
PDF, 170 KB
2005