Edward Wobber Martín Abadi Michael Burrows Authentication in the Taos Operating System. 3-32 1994 12 ACM Trans. Comput. Syst. 1 db/journals/tocs/tocs12.html#WobberAB94 http://doi.acm.org/10.1145/174613.174614