The use of logic in the analysis of cryptographic protocols (1991)

by P Syverson
Venue:In Proceedings of the IEEE CS Symposium on Research in Security and Privacy