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

by M Abadi, A Gordon
Venue:Information and Computation