论文部分内容阅读
形式方法可以辅助设计、分析和验证网络和分布式系统中的密码协议.本文对密码协议形式分析化现状进行了综述,并指出了这个领域的主要研究思路和线索.
密码协议的形式分析
【摘 要】
：
形式方法可以辅助设计、分析和验证网络和分布式系统中的密码协议.本文对密码协议形式分析化现状进行了综述,并指出了这个领域的主要研究思路和线索.
【机 构】
：
清华大学信息网络工程研究中心(北京)西安电子科技大学信息保密研究所(西安)
【出 处】
：
第七届中国密码学学术会议
【发表日期】
：
2002年8期
其他文献
本文首先分析了微束等离子焊接工艺的特点,可以发现微束等离子焊接电弧随着焊接工艺参数的变化而变化;但是,与其它焊接方向相比,微束等离子焊接电弧具有很高的稳定性.通过大
针对薄板焊缝图像处理的难点问题,分析传统焊缝图像处理技术的弊端,提出一种根据焊缝灰度特点的焊缝图像处理技术.通过分析熔池前方焊缝边缘的灰度分布特征,结合焊缝的形状特
提出了一种基于被动视觉的弧焊机器人自主焊缝轨迹获取与跟踪的方法.通过使用CCD摄像机在焊缝前段对焊缝的信息进行实时的获取,由主控计算机进行图像处理,焊缝边缘信息的提取
众所周知,计算群元素的整数倍是许多密码算法的基础.最近,文[1]提出整数的一种标准二进制表示,当群元素求逆运算的计算量很小时,用来计算群元素的整数倍,比通常的算法节省计
利用小波分析的多分辨率特性与ICP算法相结合,提出了多分辨率数据配准算法,实现不同视角测量数据的快速配准.首先对数据点进行三角网格划分,并进行多层小波分解.对最低层网格
本文基于离散对数问题提出一个新的口令共享认证方案,该方案是ElGamal签名方案和Shamir门限方案的结合.在该方案中,n个认证者中任意t个可以认证口令的正确性,而t-l个或更少的
本文证明了具有n个输入的带记忆组合生成器可达到的最大相关免疫阶数不是n-1而是n,并给出了带记忆组合生成器达到k(1
本文对现有基于离散对数问题、具有消息恢复的签名方案的安全性进行分析,利用中国剩余定理(CRT),提出一种有效的攻击方法.为了避免这种攻击,对现有具有消息恢复的签名方案进
如何设计出高安全强度的密码和使密码设计自动化是人们长期追求的目标.本文提出演化密码的概念和用演化计算设计密码的方法.本文具体对DES分组密码的核心部件S盒组进行了实际