Durga Vemuri, Wasim A. Al-Hamdani. Measures to improve security in a microkernel operating system. In Michael E. Whitman, Humayun Zafar, editors, Proceedings of the 2011 Information Security Curriculum Development Conference, InfoSecCD 2011, Kennesaw, GA, USA, September 30 - October 1, 2011. pages 25-33, ACM, 2011. [doi]
Abstract is missing.