Secure virtual architecture: a safe execution environment for commodity operating systems (1991)

by J Criswell, A Lenharth, D Dhurjati, V Adve
Venue:SIGOPS Oper. Syst. Rev