Gail-Joon Ahn Wenjuan Xu Xinwen Zhang Systematic Policy Analysis for High-Assurance Services in SELinux. 3-10 2008 POLICY http://doi.ieeecomputersociety.org/10.1109/POLICY.2008.18 conf/policy/2008 db/conf/policy/policy2008.html#AhnXZ08