A Logic of Authentication (1990)

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