|
|||||
|
|
| 用Spi演算描述和验证密码学安全协议 | |
| 引用本文： | 曾小平,孙永强.用Spi演算描述和验证密码学安全协议[J].计算机工程,1999,25(2):51-53. |
| 作者姓名： | 曾小平 孙永强 |
| 作者单位： | 上海交通大学计算机科学与工程系 |
| 摘 要： | 讨论了针对共享密钥安全协议的Ｓｐｉ演算，而且对安全协议的Ｓｐｉ演算描述和验证进行了深入的探讨。 |
| 关 键 词： | Pi演算 Spi演算 安全协议 密码学 计算机安全 |
The Describing and Reasoning of Cryptographic Protocols in Spi Calculus |
|
| Zeng Xiaoping, Sun Yongqiang.The Describing and Reasoning of Cryptographic Protocols in Spi Calculus[J].Computer Engineering,1999,25(2):51-53. | |
| Authors: | Zeng Xiaoping Sun Yongqiang |
| Abstract: | |
| Keywords: | Pi calculus Spi calculus Shared-key cryptography Security protocol |
| 本文献已被 CNKI 维普 等数据库收录！ | |