FACE-CHANGE: Application-Driven Dynamic Kernel View Switching in a Virtual Machine
integrating flexible support for security policies into the linux operating system .