Authentication in the Taos Operating System (1994)

by Edward Wobber, Martín Abadi, Michael Burrows, Butler Lampson