用Spi演算描述和验证密码学安全协议  

The Describing and Reasoning of Cryptographic Protocols in Spi Calculus

作　　者：曾小平[1] 孙永强[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《计算机工程》1999年第2期51-53,共3页Computer Engineering

摘　　要：讨论了针对共享密钥安全协议的Spi演算，而且对安全协议的Spi演算描述和验证进行了深入的探讨。Spi calculus is an extension of the pi calculus for the description and analysis of cryptographic protocols. By the increasedconstruct , Spi calculus not only represents the cryptographic protocols explicitly but also authenticate them in a precise semantics.

关 键 词：PI演算 SPI演算 安全协议 密码学 计算机安全 

分 类 号：TN918.2[电子电信—通信与信息系统] TP309[电子电信—信息与通信工程]