Dawson R. Engler, M. Frans Kaashoek, James O Toole. The Operating System Kernel as a Secure Programmable Machine. Operating Systems Review, 29(1):78-82, 1995.
@article{EnglerKO95:0,
title = {The Operating System Kernel as a Secure Programmable Machine},
author = {Dawson R. Engler and M. Frans Kaashoek and James O Toole},
year = {1995},
tags = {operating system},
researchr = {https://researchr.org/publication/EnglerKO95%3A0},
cites = {0},
citedby = {0},
journal = {Operating Systems Review},
volume = {29},
number = {1},
pages = {78-82},
}