A logic of authentication (1990)

by R Needham M Burrows, M Abadi
Venue:ACM Transactions in Computer Systems