咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >认证协议的必要条件证明 收藏

认证协议的必要条件证明

Prerequisite Proof of Authentication Protocol

作     者:薛海峰 荆立夏 XUE Hai-feng;JING Li-xia

作者机构:中央广播电视大学信息管理处北京100031 郑州航空工业管理学院计算机科学与应用系郑州450015 

出 版 物:《计算机工程》 (Computer Engineering)

年 卷 期:2011年第37卷第11期

页      面:144-145,163页

核心收录:

学科分类:08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)] 

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

主  题:认证协议 绑定项理论 串空间理论 必要条件 形式化理论 

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

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分