Authentication in distributed systems: Theory and practice (1992)

by Butler Lampson, Martín Abadi, Michael Burrows, Edward Wobber
Venue:ACM Transactions on Computer Systems