DMCA

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

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