Authentication in the Taos operating system

Edward Wobber, Martín Abadi, Michael Burrows, Butler Lampson
1994 ACM Transactions on Computer Systems  
doi:10.1145/174613.174614 fatcat:pwabc74hjbhpjllzevon2pishe