Toward the Verification of a Simple Hypervisor

Toward the Verification of a Simple Hypervisor

Virtualization promises significant benefits in security, efficiency, dependability, and cost. Achieving these benefits depends upon the reliability of the underlying virtual machine monitors (hypervisors). This paper describes an ongoing project to develop and verify MinVisor, a simple but function...

Full description

Bibliographic Details
Main Authors: Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William Young
Format: Article
Language:English
Published: Open Publishing Association 2011-10-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1110.4672v1

Internet

http://arxiv.org/pdf/1110.4672v1

Similar Items