A logic of authentication (1990)

by Michael Burrows, Roger Needham
Venue:ACM Transactions on Computer Systems