Analyzing and Comparing the Protection Quality of Security Enhanced Operating Systems
Analyzing Integrity Protection in the SELinux Example Policy