M.Burrows, and E.Wobber. Authentication in distributed systems: Theory and practice (1992)

by B W Lampson, M Abadi
Venue:ACM Transactions on Computer Systems