Reasoning about belief in cryptographic protocols,” (1990)

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