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]

Authors

Boniface Hicks

This author has not been identified. Look up 'Boniface Hicks' in Google

Sandra Rueda

This author has not been identified. Look up 'Sandra Rueda' in Google

Luke St. Clair

This author has not been identified. Look up 'Luke St. Clair' in Google

Trent Jaeger

This author has not been identified. Look up 'Trent Jaeger' in Google

Patrick McDaniel

This author has not been identified. Look up 'Patrick McDaniel' in Google