Reasoning about belief in cryptographic protocols (1990)

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