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

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