| 基于串空间模型的Andrew RPC协议的分析与验证 |
| |
| 引用本文： | 周清雷,赵琳,赵东明. 基于串空间模型的Andrew RPC协议的分析与验证[J]. 计算机工程与应用, 2007, 43(13): 153-155 |
| |
| 作者姓名： | 周清雷 赵琳 赵东明 |
| |
| 作者单位： | 郑州大学,信息工程学院,郑州,450052;郑州大学,信息工程学院,郑州,450052;郑州大学,信息工程学院,郑州,450052 |
| |
| 基金项目： | E -mail ： pollyannazhao@163.com |
| |
| 摘 要： | 本文首先介绍了当前安全协议形式化验证的前沿方向串空间理论，并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证，然后指出了安全缺陷。
|
| 关 键 词： | 安全协议 串空间 Andrew secure RPC协议 |
| 文章编号： | 1002-8331（2007）13-0153-03 |
| 收稿时间： | 2006-06-05 |
| 修稿时间： | 2006-09-01 |
Formal Specification and Verification of Andrew secure RPC protocol Based on Strand Spaces Model |
| |
| ZHOU Qing-lei,ZHAO Lin,ZHAO Dong-ming. Formal Specification and Verification of Andrew secure RPC protocol Based on Strand Spaces Model[J]. Computer Engineering and Applications, 2007, 43(13): 153-155 |
| |
| Authors: | ZHOU Qing-lei ZHAO Lin ZHAO Dong-ming |
| |
| Affiliation: | College of Information Engineering,Zhengzhou University,Zhengzhou 450052,China |
| |
| Abstract: | With the popularization of network,security protocol are becoming more and more important.ln this paper,a model of strand spaces,a current leading branch of formal automatic verifying,is described in detail.A methodology is presented by using strand spaces to analyze the Andrew secure RPC protocol,and some security bug is discovered. |
| |
| Keywords: | security protocol strand spaces Andrew secure RPC protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
