A Bisimulation Method for Cryptographic Protocols (1998)

by Martín Abadi , Andrew D. Gordon
Citations:79 - 5 self

Document Versions

A Bisimulation Method for Cryptographic Protocols –Martín Abadi, Andrew D. Gordon — 1998
A Bisimulation Method for Cryptographic Protocols –Martín Abadi, Andrew D. Gordon — 1998 — Nordic Journal of Computing
A Bisimulation Method for Cryptographic Protocols –Mart'in Abadi, Andrew D. Gordon — 1998 — Nordic Journal of Computing