Trent Jaeger, Reiner Sailer, Xiaolan Zhang. Analyzing Integrity Protection in the SELinux Example Policy. In Proceedings of the 12th USENIX Security Symposium, Washington, D.C., USA, August 4-8, 2003. USENIX Association, 2003. [doi]
Abstract is missing.