"Authentication in the Taos Operating System."

Edward Wobber, Martín Abadi, Michael Burrows (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics