| Neuman-Stubblebine协议的串空间模型及分析 |
| |
| 引用本文： | 丁萌伟,周清雷,赵东明.Neuman-Stubblebine协议的串空间模型及分析[J].计算机应用与软件,2009,26(5). |
| |
| 作者姓名： | 丁萌伟 周清雷 赵东明 |
| |
| 作者单位： | 郑州大学信息工程学院,河南,郑州,450052 |
| |
| 基金项目： | 国家自然科学基金，河南省教育厅资助项目 |
| |
| 摘 要： | 串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤.首次利用串空间理论从机密性和认证性两个方面对Neuman-Stubblebine协议进行了分析.分析结果证明该协议是安全的,而且理想对公开密钥算法和对称密钥算法产生的协议的分析都是有效的.
|
| 关 键 词： | 安全协议 Neuman-Stubblebine协议 串空间 理想 |
THE STRAND SPACE MODEL OF NEUMAN-STUBBLEBINE PROTOCOL AND ITS ANALYSIS |
| |
| Ding Mengwei,Zhou Qinglei,Zhao Dongming.THE STRAND SPACE MODEL OF NEUMAN-STUBBLEBINE PROTOCOL AND ITS ANALYSIS[J].Computer Applications and Software,2009,26(5). |
| |
| Authors: | Ding Mengwei Zhou Qinglei Zhao Dongming |
| |
| Affiliation: | School of Information Engineering;Zhengzhou University;Zhengzhou 450052;Henan;China |
| |
| Abstract: | Strand spaces model is a new formal analysis tool for the analysis of cryptographic protocols.Its proposition of two concepts on ideal and honest simplifies the process of verification of cryptographic protocols.For the first time,based on the theory of strand space,Neuman-Stubblebine protocol was analysed from the aspects of both confidentiality and authentication.The analysis proves the security of the protocol,demonstrates the validity of analysing the protocols generated from public key algorithm and sy... |
| |
| Keywords: | Cryptographic protocolNeuman-Stubblebine protocolStand spaceIdea |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
