摘要
Ｓｐｉ演算通过在Ｐｉ演算中增加描述密码学协议的原语支持对基于共享密钥的安全协议的描述，通过测试等价Ｓｐｉ演算简化了对所描述的安全协议的验证．它为密码学安全协议系统的描述和验证提供了坚实而有效的支持．
Spi calculus is an extension of the Pi calculus for the description and analysis of cryptographic protocols. By the increased construct, Spi calculus not only represents the cryptographic protocols explicitly but also authenticates them in a precise semantics.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
1998年第10期98-101,共4页
Journal of Shanghai Jiaotong University
