DMCA

Verifying information flow goals in security-enhanced Linux

by Joshua D. Guttman , Amy L. Herzog , John D. Ramsdell , Clement W. Skorupka
Venue:Journal of Computer Security
Citations:31 - 0 self