A Logic of Authentication. Research Report 39, Digital Systems Research Center (1989)

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