| Yahalom-Paulson协议的串空间模型与分析 |
| |
| 引用本文： | 丁萌伟,周清雷,赵东明.Yahalom-Paulson协议的串空间模型与分析[J].计算机工程与应用,2008,44(22):97-99. |
| |
| 作者姓名： | 丁萌伟 周清雷 赵东明 |
| |
| 作者单位： | 郑州大学,信息工程学院,郑州,450052 |
| |
| 摘 要： | 串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从机密性和认证性两个方面对Yahalom-Paulson协议进行了分析。分析结果证明该协议是安全的。
|
| 关 键 词： | 密码协议 Yahalom-Paulson协议 串空间 理想 |
| 收稿时间： | 2007-10-10 |
| 修稿时间： | 2008-3-21
|
Strand space model of Yahalom-Paulson protocol and its analysis |
| |
| DING Meng-wei,ZHOU Qing-lei,ZHAO Dong-ming.Strand space model of Yahalom-Paulson protocol and its analysis[J].Computer Engineering and Applications,2008,44(22):97-99. |
| |
| Authors: | DING Meng-wei ZHOU Qing-lei ZHAO Dong-ming |
| |
| Affiliation: | School of Information Engineering， Zhengzhou University， Zhengzhou 450052， China |
| |
| Abstract: | Strand spaces model is a new formal analysis tool to the analysis of cryptographic protocols.Furthermore,the proposition of the two concepts of ideal and honest simplifies the process of verification of cryptographic protocols.For the first time,based on the theory of strand space,Yahalom-Paulson protocol is analyzed from the aspects of both confidentiality and authentication.The analysis proves the correctness of the protocol. |
| |
| Keywords: | cryptographic protocol Yahalom-Paulson protocol strand space ideal |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
