A logical specification and analysis for SELinux MLS policy.

Boniface Hicks, Sandra Julieta Rueda, Luke St. Clair, Trent Jaeger, Patrick D. McDaniel

Browse the full SACMAT paper archive.