Authentication in distributed systems: theory and practice (1992)

by B LAMPSON, M ABADI, M BURROWS, E WOBBER
Venue:ACM Trans. Comput. Systems