A logic of authentication (1989)

by M Burrows, M Abadi, R Needham
Venue:in Proc. Royal Soc. London A