-
题名认证测试方法对X.509认证协议的分析
被引量：2
- 1
-
-
作者
刘家芬
周明天
-
机构
电子科技大学计算机科学与工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第8期23-25,共3页
-
基金
国家863高技术研究发展计划资助项目(编号:863-104-03-01)
-
文摘
采用认证测试方法对X.509协议的认证正确性进行了分析,该方法比BAN逻辑分析得到的结论更具体,比传统串空间理论构造集合寻找M-minimal元素的方法更为简单直观。然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进协议在保持数据保密性完整性的同时,也能实现认证的正确性。
-
关键词
串空间
认证测试
协议形式化分析
x.509协议
-
Keywords
strand space,Authentication Test,protocol formal analysis method,x.509 protocol
-
分类号
TP393.02
[自动化与计算机技术—计算机应用技术]
-
-
题名串空间模型的原理与应用
被引量：2
- 2
-
-
作者
谭立力
刘璟
谢鸿波
谭兴烈
-
机构
卫士通信息产业股份有限公司
现代通信国家重点实验室
电子科技大学计算机科学与工程学院
-
出处
《计算机应用》
CSCD
北大核心
2005年第8期1747-1749,1752,共4页
-
基金
现代通信国家重点实验室基金资助项目(51436040305DZ4001)
国家重点基础研究发展规划资助项目(G1999035803)
-
文摘
介绍了安全协议形式化分析方法串空间模型的基本概念,给出了检查消息机密性的定理的变形公式,形式化地证明了由未泄漏私钥签字的消息起源于诚实主体串,并利用上述结论检验了BAN修改后的CCITTX.509(3)协议的机密性和认证性。
-
关键词
密码协议
串空间
CCITT
x.509协议
-
Keywords
cryptographic protocol
strand spaces
CCITT x.509 protocol
-
分类号
TP309.2
[自动化与计算机技术—计算机系统结构]
-
