R.: A logic of authentication (1989)

by M Burrows, M Abadi, Needham
Venue:Proceedings of the Royal Society of London A