R.: A logic of authentication (1990)

by M Burrows, M Abadi, Needham
Venue:ACM Trans. Comput. Syst