Martín Abadi Andrew D. Gordon A Bisimulation Method for Cryptographic Protocols. 12-26 http://dx.doi.org/10.1007/BFb0053560 1998 conf/esop/1998 ESOP db/conf/esop/esop98.html#AbadiG98