Gaoshou Zhai, Tao Guo, Jie Huang. SCIATool: A Tool for Analyzing SELinux Policies Based on Access Control Spaces, Information Flows and CPNs. In Moti Yung, Liehuang Zhu, Yanjiang Yang, editors, Trusted Systems - 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers. Volume 9473 of Lecture Notes in Computer Science, pages 294-309, Springer, 2014. [doi]
Abstract is missing.