目录 Protect Cloud Virtual Machines from Hypervisor and Host Operating System Exploits Pex: A Permission Check Analysis Framework for Linux Kernel