Measures to improve security in a microkernel operating system. - Durga Vemuri; Wasim A. Al-Hamdani (InfoSecCD, 2011)