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