| 认证测试方法对X.509认证协议的分析 |
| |
| 引用本文： | 刘家芬,周明天. 认证测试方法对X.509认证协议的分析[J]. 计算机工程与应用, 2006, 42(8): 23-25 |
| |
| 作者姓名： | 刘家芬 周明天 |
| |
| 作者单位： | 电子科技大学计算机科学与工程学院,成都,610054;电子科技大学计算机科学与工程学院,成都,610054 |
| |
| 摘 要： | 采用认证测试方法对X.509协议的认证正确性进行了分析,该方法比BAN逻辑分析得到的结论更具体,比传统串空间理论构造集合寻找M-minimal元素的方法更为简单直观。然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进协议在保持数据保密性完整性的同时,也能实现认证的正确性。
|
| 关 键 词： | 串空间 认证测试 协议形式化分析 X.509协议 |
| 文章编号： | 1002-8331-（2006）08-0023-03 |
| 收稿时间： | 2006-01-01 |
| 修稿时间： | 2006-01-01 |
Analysis of X.509 Authentication Protocol via Authentication Test |
| |
| Liu Jiafen,Zhou Mingtian. Analysis of X.509 Authentication Protocol via Authentication Test[J]. Computer Engineering and Applications, 2006, 42(8): 23-25 |
| |
| Authors: | Liu Jiafen Zhou Mingtian |
| |
| Abstract: | This paper analyzes X.509 authentication protocol with Authentication Test in Strand Space.The conclusion is more concrete than that achieved using BAN Logic,and the proving process is simpler and ocularrer than the traditional method of constructing the set and finding the M-minimal element in the set.Then we come up with an improved version based on the analysis conclusion,and prove with Authentication Test that the improved protocol can realize the correctness of authentication while keeping the secrecy and integration goal of the original protocol. |
| |
| Keywords: | strand space Authentication Test protocol formal analysis method X.509 protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
