Lessons from VAX/SVS for High-Assurance VM Systems

Steve Lipner, Trent Jaeger, Mary Ellen Zurko

Research output: Contribution to journalArticlepeer-review

13 Scopus citations


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 languageEnglish (US)
Pages (from-to)26-35
Number of pages10
JournalIEEE Security and Privacy
Issue number6
StatePublished - 2012

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Electrical and Electronic Engineering
  • Law


Dive into the research topics of 'Lessons from VAX/SVS for High-Assurance VM Systems'. Together they form a unique fingerprint.

Cite this