Generating Formal Cryptographic Protocol Speci (0)

by U Carlsen
Venue:In Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy