Towards Extensional Goals in Authentication Protocols (1997)

Cached

Download Links

by Colin Boyd
Venue:In Proceedings of the 1997 DIMACS Workshop on Design and Formal Verification of Security Protocols
Citations:11 - 0 self

Document Versions

Towards Extensional Goals in Authentication Protocols –Colin Boyd — 1997 — In Proceedings of the 1997 DIMACS Workshop on Design and Formal Verification of Security Protocols