Verifying information flow goals in Security-Enhanced Linux. - Joshua D. Guttman; Amy L. Herzog; John D. Ramsdell; Clement W. Skorupka (J. Comput. Secur., 2005)