This paper describes the development of a virtual-machine monitor (VMM) security kernel for the VAX architecture. The paper particularly focuses on how the system's hardware, microcode, and soft ware are aimed at meeting Allevcl security requirernents while maintaining the standard interfaces and applications of the VMS and ULTRIX
Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin