Martín Abadi Andrew D. Gordon A Calculus for Cryptographic Protocols: The Spi Calculus. 36-47 1997 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/266420.266432 db/conf/ccs/ccs1997.html#AbadiG97