DMCA

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

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