Art

J-GLOBAL ID：200902111634521001   Reference number：97A0747536

A Calculus for Cryptographic Protocols The Spi Calculus.

Author (2)： ABADI M (Digital Equipment Corp.) ,  GORDON A D (Univ. Cambridge)
Material： 4th ACM Conference on Computer and Communications Security, 1997  (4th ACM Conf Comput Commun Secur 1997)
Page： 36-47  Publication year： 1997 
JST Material Number： K19970415  ISBN： 0-89791-912-2  Document type： Proceedings
Country of issue： United States (USA)  Language： ENGLISH (EN)

Terms in the title (1)： SPI