认证协议的必要条件证明

摘要：

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

关键词：认证协议、绑定项理论、串空间理论、必要条件、形式化理论

所属期刊栏目：37

分类号：TP301(计算技术、计算机技术)

资助基金：国家科技支撑计划基金资助项目"心理疾患防治队伍培训和继续教育的关键技术研究及示范"009BA177B10;教育部、财政部网络教育数字化学习资源中心建设基金

在线出版日期：2011-08-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：144-145,163