Towards extensional goals in authentication protocols, in (0)

by C Boyd
Venue:Proceedings of the 1997 DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997, http://dimacs.rutgers.edu/ Workshops/Security