Reasoning about Cryptographic Protocols in the Spi Calculus (1997)

Cached

Download Links

by Martín Abadi , Andrew D. Gordon
Venue:In CONCUR'97: Concurrency Theory
Citations:50 - 3 self