摘要： 讨论了针对共享密钥安全协议的Spi演算，而且对安全协议的Spi演算描述和验证进行了深入的探讨。
关键词:
Pi演算,
Spi演算,
共享密钥系统,
安全协议
Abstract: 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.
中图分类号:
曾小平,孙永强. 用Spi演算描述和验证密码学安全协议[J]. , 1999, 25(02): 51-53.
Zeng Xiaoping, Sun Yongqiang. The Describing and Reasoning of Cryptographic Protocols in Spi Calculus[J]. , 1999, 25(02): 51-53.