Martín Abadi

Martín Abadi and Andrew D. Gordon. A Bisimulation Method for Cryptographic Protocols. Nordic Journal of Computing, 5(4):267-303, Winter 1998. Abstract, References, etc.