Authentication in distributed systems: Theory and practice (1991)

by Butler Lampson, Martn Abadi, Michael Burrows, Edward Wobber
Venue:In Proc. 13th ACM Symp. on Operating System Principles (SOSP