[Lampson92] B. Lampson, M. Abadi, M. Burrows, and E. Wobber, Authentication in Distributed Systems: Theory and Practice., ACM Trans on Computer Systems, V10(4), November, 1992, pp265-310. [This paper describes a theory of authentication and a system that implements it.]