Authentication in the Taos operating system (1994)

by Edward Wobber, Martín Abadi, Michael Burrows, Butler Lampson
Venue:ACM Trans. Comput. Syst