sHype: Secure Hypervisor Approach to Trusted Virtualized Systems
Xen and the art of virtualization