Sciweavers

CCS
1997
ACM

A Calculus for Cryptographic Protocols: The Spi Calculus

14 years 3 months ago
A Calculus for Cryptographic Protocols: The Spi Calculus
Martín Abadi, Andrew D. Gordon
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where CCS
Authors Martín Abadi, Andrew D. Gordon
Comments (0)