A calculus for cryptographic protocols: The Spi calculus. Journal of Information and Computation (1999)

by M Abadi, A D Gordon
Venue:University of Cambridge Computer Laboratory