Edward Wobber, Martín Abadi, Michael Burrows. Authentication in the Taos Operating System. ACM Trans. Comput. Syst., 12(1):3-32, 1994. [doi]
@article{WobberAB94,
title = {Authentication in the Taos Operating System},
author = {Edward Wobber and Martín Abadi and Michael Burrows},
year = {1994},
doi = {10.1145/174613.174614},
url = {http://doi.acm.org/10.1145/174613.174614},
tags = {operating system},
researchr = {https://researchr.org/publication/WobberAB94},
cites = {0},
citedby = {0},
journal = {ACM Trans. Comput. Syst.},
volume = {12},
number = {1},
pages = {3-32},
}