认证协议的必要条件证明

• 作者: 荆立夏 薛海峰
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 认证协议 绑定项理论 串空间理论 必要条件 形式化理论
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 安全技术
• 页码范围: 144-145,163
• 分类号: TP301
• 字数: 3739字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.11.049

摘要

提出绑定项理论并用该理论构建认证协议的必要条件定理,使用串空间理论证明该定理和3个典型认证协议.该理论能够迅速、有效地判定有缺陷的认证协议的认证属性,除了能够对认证协议的新鲜性、主体进行判定外,还能够对具有类型攻击缺陷的认证协议进行判定,为认证协议的安全判定提供一种简单、有效的理论方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	荆立夏	郑州航空工业管理学院计算机科学与应用系	16	49	4.0	6.0
2	薛海峰	中央广播电视大学信息管理处	7	50	4.0	7.0