Liuying Tang, Sihan Qing. A Practical Alternative to Domain and Type Enforcement Integrity Formal Models. In Helger Lipmaa, Moti Yung, Dongdai Lin, editors, Information Security and Cryptology, Second SKLOIS Conference, Inscrypt 2006, Beijing, China, November 29 - December 1, 2006, Proceedings. Volume 4318 of Lecture Notes in Computer Science, pages 225-237, Springer, 2006. [doi]