DMCA
A calculus for cryptographic protocols: The spi calculus (1999)
Cached
Download Links
by
Martin Abadi
,
Andrew D. Gordon
Venue: | Information and Computation |
Citations: | 898 - 50 self |