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

by M Abadi, A D Gordon
Venue:Information and Computation