The operating system kernel as a secure programmable machine (1994)

by D R Engler, M F Kaashoek, J W O'Toole Jr
Venue:Proceedings of the ACM European SIGOPS Workshop