The authors take a look back at VAX/SVS, a high-assurance virtual machine monitor project, extracting its most pertinent lessons on access control, layering, minimization, and verification of assurance.
|Original language||English (US)|
|Number of pages||10|
|Journal||IEEE Security and Privacy|
|State||Published - 2012|
All Science Journal Classification (ASJC) codes
- Computer Networks and Communications
- Electrical and Electronic Engineering