Lessons from VAX/SVS for High-Assurance VM Systems

Steve Lipner; Trent Jaeger; Mary Ellen Zurko

doi:10.1109/MSP.2012.87

Lessons from VAX/SVS for High-Assurance VM Systems

Steve Lipner, Trent Jaeger, Mary Ellen Zurko

Research output: Contribution to journal › Article › peer-review

13 Scopus citations

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 language	English (US)
Pages (from-to)	26-35
Number of pages	10
Journal	IEEE Security and Privacy
Volume	10
Issue number	6
DOIs	https://doi.org/10.1109/MSP.2012.87
State	Published - 2012

All Science Journal Classification (ASJC) codes

Computer Networks and Communications
Electrical and Electronic Engineering
Law

Access to Document

10.1109/MSP.2012.87

Cite this

@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",

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",

}

TY - JOUR

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

AU - Lipner, Steve

AU - Jaeger, Trent

AU - Zurko, Mary Ellen

PY - 2012

Y1 - 2012

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

SN - 1540-7993

VL - 10

SP - 26

EP - 35

JO - IEEE Security and Privacy

JF - IEEE Security and Privacy

IS - 6

ER -

Lessons from VAX/SVS for High-Assurance VM Systems

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this