论文部分内容阅读
安全协议的形式化验证与分析已成为国际研究的热点。本文应用BAN逻辑研究Needham-Schroeder对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并在BAN逻辑下形式化证明改进的协议可以满足安全目标。
NS对称密钥认证协议安全性分析
【摘 要】
：
安全协议的形式化验证与分析已成为国际研究的热点。本文应用BAN逻辑研究Needham-Schroeder对称密钥认证协议,指出该协议存在的安全缺陷,利用消息新鲜性对其进行相应改进,并
【机 构】
：
哈尔滨工业大学计算机网络与信息安全技术研究中心
【出 处】
：
微计算机信息
【发表日期】
：
2008年12期
【基金项目】
：
十五国防预研项目安全性分析技术(编号不公开)
其他文献
习仲勋一生波澜壮阔、跌宕起伏、光明磊落、勇于担当，可谓英雄一世、坎坷一生。他主政广东时间虽短，却影响深远，尤其是他领导广东先走一步，实行对外开放，建立经济特区，为党、国家和
Internet已被广泛应用于多媒体信息的传输,但TCP/IP对于传输实时性较高的宽带业务时,质量得不到有效保证。特别在卫星链路上,通过TCP/IP传输宽带业务受到了"时延带宽积"的"瓶
美国国家仪器有限公司于2007年11月1日在北京长城饭店举办了2007至2008年度全球巡回主题大会—NIDays。此次盛会涉及了测量、控制和设计领域。本次NIDays的主题是"如何帮助您
期刊
目的探讨妊娠相关性乳腺癌(PABC)的病理特征及对临床预后的影响。方法回顾性分析2009年1月至2017年12月间54例PABC患者的资料,按年龄与108例非妊娠乳腺癌对照组相匹配。比较
在职业学校教育中,电气运行与控制是一门重要的学科,它的主要教学内容是电器控制设备及供电系统安装、调试及各种运行和维护。在该专业的教学中,教师以学生的就业能力为主开
提高地震资料分辨率是地震信号处理的一个关键环节。由于地层吸收,地震子波在传输过程中高频被吸收衰减,地震信号的分辨率降低。本文根据冲击滤波器提高图像分辨率的基本思想
习近平的大局观是中国共产党大局观的重要组成部分。习近平总书记的"两个大局"致力于从全球发展和世纪伟业的高度来解决中华民族前途命运问题。把握这"两个大局"还必须与总体
本文构建了电磁环境可视化系统的总体框架,将系统划分为数据预处理与基础地理环境构建、数据库管理与维护、电磁环境计算与分析、电磁态势可视化和综合统计分析与决策支持五
介绍了一种基于铂热电阻PT100的USB测温仪的实现方案。采用信号调理电路改善PT100的非线性并使用MATLAB拟合出一个最佳测温多项式。在此基础上,结合USB技术和虚拟仪器技术,对