Yi-Ming Chen, Yung-Wei Kao. Information Flow Query and Verification for Security Policy of Security-Enhanced Linux. In Hiroshi Yoshiura, Kouichi Sakurai, Kai Rannenberg, Yuko Murayama, Shin-ichi Kawamura, editors, Advances in Information and Computer Security, First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006, Proceedings. Volume 4266 of Lecture Notes in Computer Science, pages 389-404, Springer, 2006. [doi]
Abstract is missing.