Analyzing encryption protocols using formal veri cation techniques (1994)

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