Author :
Lipner, Steve ; Jaeger, Trent ; Zurko, Mary Ellen
Abstract :
The authors take a look back at VAX/SVS, a high-assurance virtual machine monitor (VMM) project from the 1980s, extracting its most pertinent lessons, including reference monitor architectural principles, approaches to verifiable and tamperproof access control, the benefits of layering, the impacts of minimization and verification, and the reasons behind its cancellation.
Keywords :
authorisation; program verification; system monitoring; virtual machines; VAX/SVS; VMM; architectural principle; high-assurance VM system; high-assurance virtual machine monitor; layering; minimization; tamperproof access control; verifiable access control; verification; Access control; Computer security; Information security; Monitoring; Privacy; Virtual machines; Virtual machining; VAX/SVS; VMM; assurance; security kernels; verification; virtual machine monitor;
