| 一种新的协议安全性分析方法 |
| |
| 引用本文： | 胡建军. 一种新的协议安全性分析方法[J]. 计算机工程, 2009, 35(10): 168-169 |
| |
| 作者姓名： | 胡建军 |
| |
| 作者单位： | 甘肃联合大学数学与信息学院,兰州,730000 |
| |
| 摘 要： | 对安全协议的本质求同和存异进行讨论，在保证协议正确性的前提下，以“挑战一响应”为协议分析的基本单位，提出一种利用集合运算分析协议安全性的方法，对Needham-Schroeder协议和Needham-Schroeder-Lowe协议的分析和验证结果表明，该方法具有较好的可行性和有效性。
|
| 关 键 词： | 关联性 保密性 可识别 安全 挑战-响应 |
| 修稿时间： | |
Novel Analysis Method for Protocol Security |
| |
| HU Jian-jun. Novel Analysis Method for Protocol Security[J]. Computer Engineering, 2009, 35(10): 168-169 |
| |
| Authors: | HU Jian-jun |
| |
| Affiliation: | College of Mathematics and Information;Gansu Lianhe University;Lanzhou 730000 |
| |
| Abstract: | Cryptographic protocol is specified as to put aside minor differences so as to seek common ground.Assuring protocol correctness,a new efficient method that servers challenge-response as analysis unit of protocol is proposed.The analysis example on Needham-Schroeder protocol and Needham-Schroeder-Lowe protocol shows that the method is feasible and availability. |
| |
| Keywords: | relevance secrecy visibility security challenge-response |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
