Ensuring operating system kernel integrity with OSck.

Owen S. Hofmann Alan M. Dunn Sangman Kim Indrajit Roy Emmett Witchel

Published in: ASPLOS (2011)

Keyphrases

operating system
high assurance
computer systems
distributed systems
virtual machine
microsoft windows
linux kernel
application level
windows xp
memory management
multi threaded
database systems
application programs
multi tasking