Towards Extensional Goals in Authentication Protocols (1997)

by Colin Boyd
Venue:In Proceedings of the 1997 DIMACS Workshop on Design and Formal Verification of Security Protocols