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

• 作者: 刘家芬 周明天
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 串空间 认证测试 协议形式化分析 X.509协议
• 年，卷（期）: 2006,（8）
• 所属期刊栏目: 博士论坛
• 页码范围: 23-25
• 页数: 3页
• 分类号: TP393.02
• 字数: 3192字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.08.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周明天	电子科技大学计算机科学与工程学院	315	3725	27.0	49.0
2	刘家芬	电子科技大学计算机科学与工程学院	5	73	4.0	5.0