O'Toole Jr. "The Operating System as a Secure Programmable Machine (1994)

by D R Engler, M F Kaashoek, J W
Venue:Proc. of the Sixth SIGOPS European Workshop