Lessons from VAX/SVS for High-Assurance VM Systems

Steve Lipner, Trent Jaeger, Mary Ellen Zurko

Research output: Contribution to journalArticle

10 Citations (Scopus)

Abstract

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
Volume10
Issue number6
DOIs
StatePublished - Jan 1 2012

Fingerprint

Access control
Virtual machine

All Science Journal Classification (ASJC) codes

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

Cite this

Lipner, Steve ; Jaeger, Trent ; Zurko, Mary Ellen. / Lessons from VAX/SVS for High-Assurance VM Systems. In: IEEE Security and Privacy. 2012 ; Vol. 10, No. 6. pp. 26-35.
@article{c1c4b3b60d944c2686fd7d850c5eddb7,
title = "Lessons from VAX/SVS for High-Assurance VM Systems",
abstract = "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.",
author = "Steve Lipner and Trent Jaeger and Zurko, {Mary Ellen}",
year = "2012",
month = "1",
day = "1",
doi = "10.1109/MSP.2012.87",
language = "English (US)",
volume = "10",
pages = "26--35",
journal = "IEEE Security and Privacy",
issn = "1540-7993",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "6",

}

Lessons from VAX/SVS for High-Assurance VM Systems. / Lipner, Steve; Jaeger, Trent; Zurko, Mary Ellen.

In: IEEE Security and Privacy, Vol. 10, No. 6, 01.01.2012, p. 26-35.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Lessons from VAX/SVS for High-Assurance VM Systems

AU - Lipner, Steve

AU - Jaeger, Trent

AU - Zurko, Mary Ellen

PY - 2012/1/1

Y1 - 2012/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84914163660&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84914163660&partnerID=8YFLogxK

U2 - 10.1109/MSP.2012.87

DO - 10.1109/MSP.2012.87

M3 - Article

AN - SCOPUS:84914163660

VL - 10

SP - 26

EP - 35

JO - IEEE Security and Privacy

JF - IEEE Security and Privacy

SN - 1540-7993

IS - 6

ER -