Verifying Information Flow Goals in Security-Enhanced Linux (0)

by J D Guttman, A L Herzog, J D Ramsdell, C W Skorupka
Venue:Journal of Computer Security