![](/img/cover-not-exists.png)
[ACM Press the 12th ACM symposium - Sophia Antipolis, France (2007.06.20-2007.06.22)] Proceedings of the 12th ACM symposium on Access control models and technologies - SACMAT '07 - A logical specification and analysis for SELinux MLS policy
Hicks, Boniface, Rueda, Sandra, St.Clair, Luke, Jaeger, Trent, McDaniel, PatrickYear:
2007
Language:
english
DOI:
10.1145/1266840.1266854
File:
PDF, 245 KB
english, 2007