Wenjuan Xu Mohamed Shehab Gail-Joon Ahn Visualization based policy analysis: case study in SELinux. 165-174 2008 SACMAT http://doi.acm.org/10.1145/1377836.1377863 conf/sacmat/2008 db/conf/sacmat/sacmat2008.html#XuSA08