论文部分内容阅读
通过去除Srtand空间中的强类型抽象假设，引入Strand模板的概念与一个入侵者的伪操作，进而利用认证测试方法，实现了对具有类型缺陷的认证协议的直接分析．
基于Strand空间分析具有类型缺陷的认证协议
【摘 要】
：
通过去除Srtand空间中的强类型抽象假设，引入Strand模板的概念与一个入侵者的伪操作，进而利用认证测试方法，实现了对具有类型缺陷的认证协议的直接分析．
【机 构】
：
中国科学技术大学,信息安全国家重点实验室中国科学院研究生院
【出 处】
：
中国科学院研究生院学报
【发表日期】
：
2004年4期
其他文献
研究了标准Ｋ－ε模式，双尺度湍流模式，并对其在壁画附近作出长度尺度修正。在此基础上，选择了几个基准流动：二维可压缩拐角、锥柱裙组合体绕流斜激波／平板湍流边界层干扰，进行数值计算
<正> 目前,国有企业过度负债问题已成为制约经济体制改革整体推进与重点突破的主要障碍。尽快妥善地解决国有企业过度负债问题已刻不容缓。但由于国有企业过度负债是新旧经济
给出一种构造具有高非线性程度和整体非线性度布尔函数的方法,具体构造了Bent函数以及高非线性的平衡布尔函数.
采用焓方法对Nd:YAG脉冲激光导致的不锈钢材料表面熔凝过程的温度场进行了数值模拟.在此基础上,结合材料的结晶动力学和快速凝固理论,对材料微结构演化的几个重要参数,包括凝
<正> 改革开放以来,随着社会主义市场的逐步建立,根据社会经济运行的基本规律,我国已适时进行了经济体制改革,而法人财产权的问题已成为经济体制改革中亟待明确的问题。 一、
利用多方计算的方法，给出一个带容错性的门限签名方案，从而使得一个门限签名方案即使在有恶意行为的情况下。仍可顺利地对消息进行有效的签名。
<正> 自1993年下半年国家施行宏观调控以来,中国房地产业走过了倍受考验的艰苦历程,房地产开发企业普遍感到环境日趋严峻。1996年下半年以后,利好消息终于传来:政府拟以普遍
随着全球气候的变化和人类活动的加强,洪水灾害越来越严重,严重影响了社会经济的发展.因此,研究洪水灾害的动力机制,进行有效地防灾减灾已迫在眉睫.以天山黄水沟突发性洪水为
城市化水平是生产力发展阶段和社会经济发达程度的重要标志之一。我国城市化道路主要的和比较现实的选择是发展中小城市和小城镇。以小城镇为载体加快城乡一体化进程,是个富
给出一种三维Q值成像方法和计算流程。模型的参数化采用矩形网格形式,计算中对射线路径的求解采用三维有限差分,反演方程的求解利用反投影法。数值模拟表明了方法的可行性,用于实测资料处理,得到了有意义的结果