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

Steve Lipner Trent Jaeger Mary Ellen Zurko

Published in: IEEE Secur. Priv. (2012)

Keyphrases

high assurance
management system
computer systems
building blocks
operating system
databases
neural network
high dimensional
active learning
small number
knowledge management
access control
training examples
learning systems
software systems
retrieval systems