| 串空间模型对RPC协议机密性的验证 |
| |
| 引用本文： | 展永刚,杨世平. 串空间模型对RPC协议机密性的验证[J]. 计算机安全, 2009, 0(3): 4-7 |
| |
| 作者姓名： | 展永刚 杨世平 |
| |
| 作者单位： | 贵州大学计算机科学与技术学院,贵州贵阳,550025 |
| |
| 摘 要： | 首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议的机密性进行了形式化分析与验证。
|
| 关 键 词： | 安全协议 串空间 Andrew secure RPC协议 |
Validation for RPC Protocol Based On Strand Space |
| |
| ZHAN Yong-gang,YANG Shi-ping. Validation for RPC Protocol Based On Strand Space[J]. Network & Computer Security, 2009, 0(3): 4-7 |
| |
| Authors: | ZHAN Yong-gang YANG Shi-ping |
| |
| Affiliation: | Guizhou university;science and technology of computer;Guiyang;Guizhou 550025;China |
| |
| Abstract: | Nowadays, the computer networks are developing in a rapid speed, as an important part, security protocol is becoming more and more important. In this paper, a model of strand spaces will be introduced firstly, then a current leading branch of formal automatic verifying will be 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 维普 万方数据 等数据库收录！ |
