A calculus for cryptographic protocols: The spi calculus (1999)

by Martin Abadi, Andrew D. Gordon
Venue:Information and Computation