A logic of authentication (1990)

by Michael Burrows, Martín Abadi, Roger Needham
Venue:ACM TRANSACTIONS ON COMPUTER SYSTEMS