Reasoning about Belief in Cryptographic Protocols (1990)

by Li Gong, Roger Needham, Raphael Yahalom
Venue:Proceedings 1990 IEEE Symposium on Research in Security and Privacy