Paul A. Karger
ISCA 2007
Using hypervisors or virtual machine monitors for security has become very popular in recent years, and a number of proposals have been made for supporting multi-level security on secure hypervisors, including PR/SM, NetTop, sHype, and others. This paper looks at the requirements that users of MLS systems will have and discusses their implications on the design of multi-level secure hypervisors. It contrasts the new directions for secure hypervisors with the earlier efforts of KVM/370 and Digital's Al-secure VMM kernel. © 2005 IEEE.
Paul A. Karger
ISCA 2007
Paul A. Karger
SOUPS 2006
Paul A. Karger, David R. Safford
IEEE Security and Privacy
Paul A. Karger, Roger R. Schell
ACSAC 2002