认证测试方法对X.509认证协议的分析  

Analysis of X.509 Authentication Protocol via Authentication Test

作　　者：刘家芬[1] 周明天[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,成都610054

出　　处：《计算机工程与应用》2006年第8期23-25,共3页Computer Engineering and Applications

基　　金：国家863高技术研究发展计划资助项目(编号:863-104-03-01)

摘　　要：采用认证测试方法对X.509协议的认证正确性进行了分析,该方法比BAN逻辑分析得到的结论更具体,比传统串空间理论构造集合寻找M-minimal元素的方法更为简单直观。然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进协议在保持数据保密性完整性的同时,也能实现认证的正确性。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.

关 键 词：串空间 认证测试 协议形式化分析 X.509协议 

分 类 号：TP393.02[自动化与计算机技术—计算机应用技术]