A logical specification and analysis for SELinux MLS policy

Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, Patrick McDaniel. A logical specification and analysis for SELinux MLS policy. ACM Trans. Inf. Syst. Secur., 13(3), 2010. [doi]

Abstract

Abstract is missing.