A logic for authentication,” DECSystems Research Center (1990)

by M Burrows, M Abadi, R Needham
Venue:Proceedings of the Second Conference on Theoretical Aspects of Reasoningabout Knowledge, 1988, and Proceedings of the Twelfth ACMSymposium onOperating Systems Principles