论文部分内容阅读
提出绑定项理论并用该理论构建认证协议的必要条件定理,使用串空间理论证明该定理和3个典型认证协议。该理论能够迅速、有效地判定有缺陷的认证协议的认证属性,除了能够对认证协议的新鲜性、主体进行判定外,还能够对具有类型攻击缺陷的认证协议进行判定,为认证协议的安全判定提供一种简单、有效的理论方法。
认证协议的必要条件证明
【摘 要】
：
提出绑定项理论并用该理论构建认证协议的必要条件定理,使用串空间理论证明该定理和3个典型认证协议。该理论能够迅速、有效地判定有缺陷的认证协议的认证属性,除了能够对认
【机 构】
：
中央广播电视大学信息管理处,郑州航空工业管理学院计算机科学与应用系
【出 处】
：
计算机工程
【发表日期】
：
2011年11期
【基金项目】
：
国家科技支撑计划基金资助项目“心理疾患防治队伍培训和继续教育的关键技术研究及示范”（009BA177B10）, 教育部、财政部网络教育数字化学习资源中心建设基金资助项目
其他文献
古代人物传记文既是高中语文必修教材入选数量较多的一类课文,也是历年高考的必考文体。从教学现状来看,教师普遍重视字词的解释和人物形象塑造手法的分析,却忽视了古代人物
提出一种基于混沌映射的图像加密算法，该算法对图像进行拉伸融合折叠变换，通过映射其矩阵的某行数据，得到修改Logistic映射初值的关键密钥m，并由2个Logistic混沌映射相结合产生加
利用双线性对构造的数字签名具有安全性高、密钥长度短和实现快速等优点,为此通过双线性对构造一个指定验证者签名方案,给出其在招投标中的应用流程,通过理论分析证明该方案
一直以来,在计算机网络运行及发展过程中,计算机网络信息安全问题都是十分关键的内容,也是影响计算机网络的应用的关键因素。在目前大数据时代背景下,计算机网络信息安全问题