| 串空间和认证测试在协议分析中的应用 |
| |
| 引用本文： | 丁萌伟,周清雷,赵东明.串空间和认证测试在协议分析中的应用[J].微计算机信息,2008,24(30). |
| |
| 作者姓名： | 丁萌伟 周清雷 赵东明 |
| |
| 基金项目： | 国家自然科学基金，基于时间自动机的模型验证理论及应用研究 |
| |
| 摘 要： | 串空间模型是一种新兴的密码协议形式化分析工具.分别采用串空间模型争认证测试这两种前沿的形式化分析方法对X.509协议的认证性进行了分析,指出了该协议在认证正确性方面存在的缺陷.然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进的协议能够实现认证的正确性.通过比较发现应用认证测试方法分析安全协议,比单纯应用串空间模型更为简洁和直观.
|
| 关 键 词： | 安全协议 串空间 认证测试 |
Application of strand space model and Authentication Test in Security Protocol Analysis |
| |
| DING Meng-wei,ZHOU Qing-lei,ZHAO Dong-ming.Application of strand space model and Authentication Test in Security Protocol Analysis[J].Control & Automation,2008,24(30). |
| |
| Authors: | DING Meng-wei ZHOU Qing-lei ZHAO Dong-ming |
| |
| Abstract: | |
| |
| Keywords: | x 509 |
| 本文献已被 万方数据 等数据库收录！ |
|
