Separation virtual machine monitors
ACSAC '12: Proceedings of the 28th Annual Computer Security Applications Conference（2012）
摘要
Separation kernels are the strongest known form of separation for virtual machines. We agree with NSA's Information Assurance Directorate that while separation kernels are stronger than any other alternative, their construction on modern commodity hardware is no longer justifiable. This is because of orthogonal feature creep in modern platform hardware. We introduce the separation VMM as a response to this situation and explain how we prototyped one.
更多查看译文
关键词
modern commodity hardware,separation vmm,longer justifiable,information assurance directorate,virtual machine,separation virtual machine monitor,strongest known form,modern platform hardware,orthogonal feature creep,separation kernel,virtualization,hypervisor
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要