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

by Martin Abadi , Andrew D. Gordon
Venue:Information and Computation
Citations:927 - 55 self