| |
| 2005 | ||
|---|---|---|
| 1 | Joshua D. Guttman, Amy L. Herzog, John D. Ramsdell, Clement W. Skorupka: Verifying information flow goals in Security-Enhanced Linux. Journal of Computer Security 13(1): 115-134 (2005) | |
| 1 | Joshua D. Guttman | [1] |
| 2 | Amy L. Herzog | [1] |
| 3 | John D. Ramsdell | [1] |