Hyung Chan Kim R. S. Ramakrishna Wook Shin Kouichi Sakurai Enforcement of Integrated Security Policy in Trusted Operating Systems. 214-229 2007 conf/iwsec/2007 IWSEC http://dx.doi.org/10.1007/978-3-540-75651-4_15 db/conf/iwsec/iwsec2007.html#KimRSS07