| 认证协议的安全性保证 |
| |
| 引用本文： | 董玲,陈克非,郑燕飞,洪璇.认证协议的安全性保证[J].上海交通大学学报,2008,42(4):518-522. |
| |
| 作者姓名： | 董玲 陈克非 郑燕飞 洪璇 |
| |
| 作者单位： | 上海交通大学,计算机科学与技术系,上海,200240 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)
,
国家自然科学基金 |
| |
| 摘 要： | 提出了保证认证协议安全性的2个条件:主体的活现性和会话密钥的保密性、新鲜性和关联性,并形式化证明了2个条件满足基于不可区分性的安全性定义.以Needham-Schroeder认证协议和SSL协议为例,说明分析认证协议是否满足2个条件的方法,以及如何根据安全属性的缺失直接构造攻击.基于2个条件的安全性分析方法不仅能用于证明协议正确,也能用于查找协议漏洞.该分析方法与攻击者的具体行为描述和多协议运行环境无关,是安全性的精确量化指标,其简单、有效,能帮助研究人员分析和改善认证协议设计.
|
| 关 键 词： | 认证协议 安全性保证 活现性 新鲜性 关联性 认证协议设计 安全性 Security Authentication Protocol 改善 研究人员 量化指标 运行环境 多协议 行为描述 攻击者 查找 直接构造 安全属性 方法 分析 不可区分性 形式化证明 关联性 新鲜性 |
| 文章编号： | 1006-2467(2008)04-0518-05 |
| 修稿时间： | 2007年4月6日 |
The Guarantee of Authentication Protocol Security |
| |
| DONG Ling,CHEN Ke-fei,ZHENG Yan-fei,HONG Xuan.The Guarantee of Authentication Protocol Security[J].Journal of Shanghai Jiaotong University,2008,42(4):518-522. |
| |
| Authors: | DONG Ling CHEN Ke-fei ZHENG Yan-fei HONG Xuan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
