Hyung Chan Kim, R. S. Ramakrishna, Wook Shin, Kouichi Sakurai. Enforcement of Integrated Security Policy in Trusted Operating Systems. In Atsuko Miyaji, Hiroaki Kikuchi, Kai Rannenberg, editors, Advances in Information and Computer Security, Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007, Proceedings. Volume 4752 of Lecture Notes in Computer Science, pages 214-229, Springer, 2007. [doi]
Abstract is missing.