Reasoning about Belief in Cryptographic Protocols (1990)

by L Needham, R Yahalom, R
Venue:Proc. of the IEEE Computer Society Symposium on Research in Security and Privacy