Lessons from VAX/SVS for High Assurance VM Systems

Mary Ellen Zurko, Steve Lipner, Trent Jaeger
2012 IEEE Security and Privacy  
doi:10.1109/msp.2012.87 fatcat:4pfygm5korg7rmdjywj2xw62wi