论文部分内容阅读
本文在基本概念中给出了一种新的逻辑语义,在此基础上对身份认证协议和密钥建立协议做了更细的分类,并对分类后的各种类型协议的安全目标作了较为详细的逻辑公式刻划,最后据此给出了新的安全性定义.
身份认证和密钥建立协议安全性的分类定义
【摘 要】
：
本文在基本概念中给出了一种新的逻辑语义,在此基础上对身份认证协议和密钥建立协议做了更细的分类,并对分类后的各种类型协议的安全目标作了较为详细的逻辑公式刻划,最后据
【机 构】
：
郑州信息工程大学信息工程学院中国科学院研究生院国家信息安全重点实验室
【出 处】
：
第七届中国密码学学术会议
【发表日期】
：
2002年8期
其他文献
超声波金属焊接利用高频机械振动使金属箔片之间达到分子结合.超声波金属焊接下,金属材料将发生表面效应和体积效应.然而这两个效应均是在宏观试验下得到的结果,超声波焊接下
本文首先分析了微束等离子焊接工艺的特点,可以发现微束等离子焊接电弧随着焊接工艺参数的变化而变化;但是,与其它焊接方向相比,微束等离子焊接电弧具有很高的稳定性.通过大
针对薄板焊缝图像处理的难点问题,分析传统焊缝图像处理技术的弊端,提出一种根据焊缝灰度特点的焊缝图像处理技术.通过分析熔池前方焊缝边缘的灰度分布特征,结合焊缝的形状特
提出了一种基于被动视觉的弧焊机器人自主焊缝轨迹获取与跟踪的方法.通过使用CCD摄像机在焊缝前段对焊缝的信息进行实时的获取,由主控计算机进行图像处理,焊缝边缘信息的提取
众所周知,计算群元素的整数倍是许多密码算法的基础.最近,文[1]提出整数的一种标准二进制表示,当群元素求逆运算的计算量很小时,用来计算群元素的整数倍,比通常的算法节省计
利用小波分析的多分辨率特性与ICP算法相结合,提出了多分辨率数据配准算法,实现不同视角测量数据的快速配准.首先对数据点进行三角网格划分,并进行多层小波分解.对最低层网格
本文基于离散对数问题提出一个新的口令共享认证方案,该方案是ElGamal签名方案和Shamir门限方案的结合.在该方案中,n个认证者中任意t个可以认证口令的正确性,而t-l个或更少的
本文证明了具有n个输入的带记忆组合生成器可达到的最大相关免疫阶数不是n-1而是n,并给出了带记忆组合生成器达到k(1
本文对现有基于离散对数问题、具有消息恢复的签名方案的安全性进行分析,利用中国剩余定理(CRT),提出一种有效的攻击方法.为了避免这种攻击,对现有具有消息恢复的签名方案进