Analyzing and improving Linux kernel memory protection: a model checking approach
Terra: a virtual machine-based platform for trusted computing