Virtualization and hypervisor security models