Calculus for cryptographic protocols. The Spi calculus

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 1997, Pages 36-47

  Abadi, Martin ^a   Gordon, Andrew D ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHIC PROTOCOLS; SPI CALCULUS;

CRYPTOGRAPHY; SECURITY OF DATA;

NETWORK PROTOCOLS;

EID: 0030643343     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)