版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
认证协议的必要条件证明
Prerequisite Proof of Authentication Protocol作者机构：中央广播电视大学信息管理处北京100031 郑州航空工业管理学院计算机科学与应用系郑州450015
出 版 物：《计算机工程》 (Computer Engineering)
年 卷 期：2011年第37卷第11期
页 面：144-145,163页
核心收录：
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家科技支撑计划基金资助项目"心理疾患防治队伍培训和继续教育的关键技术研究及示范"(009BA177B10) 教育部 财政部网络教育数字化学习资源中心建设基金资助项目
主 题：认证协议 绑定项理论 串空间理论 必要条件 形式化理论
摘 要：提出绑定项理论并用该理论构建认证协议的必要条件定理,使用串空间理论证明该定理和3个典型认证协议。该理论能够迅速、有效地判定有缺陷的认证协议的认证属性,除了能够对认证协议的新鲜性、主体进行判定外,还能够对具有类型攻击缺陷的认证协议进行判定,为认证协议的安全判定提供一种简单、有效的理论方法。
