改进新密钥交换协议及其形式化分析

来源 :通信技术 | 被引量 : 0次 | 上传用户:poppytao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Diffie-Hellman协议不具有认证功能且不能抵抗中间人攻击。Seo等人提了一种简单的算法(SAKA)协议可以抵抗中间人攻击且运算简单,但是SAKA协议也存在不足。另有人提出了Lin协议、E-SAKA协议等。分析上述协议可看出存在不足。于是提出改进的新密钥交换协议。它具有SAKA及其改进协议优点的同时可以避免SAKA及其改进协议的缺陷。并给出该协议的BAN逻辑形式分析。 Diffie-Hellman protocol does not have authentication capabilities and can not resist man-in-the-middle attacks. Seo et al. Proposed a simple algorithm (SAKA) protocol that can resist man-in-the-middle attacks and has a simple operation, but there is also a shortage of the SAKA protocol. Others proposed the Lin agreement, E-SAKA agreement and so on. Analysis of the above agreement shows that there are deficiencies. So proposed a new key exchange agreement. It has the benefits of SAKA and its improved protocol while avoiding the flaws of SAKA and its improved protocol. And gives the BAN logical form analysis of the agreement.
其他文献
This paper briefly introduces the collection and recognition of biomedical signals, designs the method to collect FM signals. A detailed discussion on the syste
目的探讨心血管疾病患者尿酸水平的变化情况.方法尿酸酶过氧化酶法检测高血压病、冠心病患者的血尿酸.结果发现这些患者的血尿酸水平明显高于正常(210-46umol/L水平.结论高尿
自2001年11月至2003年5月,我们采用XYQ-Z型(新型)脂肪吸取器(北京燕山公司生产)对72例患者进行了脂肪抽吸.效果满意.
目的从临床流行病学角度对1992~2002年龙岩市374例乳腺癌住院病例进行对比分析, 掌握其发病率、分布规律及趋势, 为防治工作提供一定的依据。方法统计 1992~2002 年间龙岩各
OBJECTIVE To observe and subtype the appearance of intraductal papilloma (lesions) and of infiltrating ductal carcinoma or early infiltrating ductal carcinoma u
高炉煤气的利用方式很多,目前我国最主要的利用方式是高炉煤气发电项目(包括燃烧高炉煤气和高炉煤气、煤粉混烧)。分析燃煤锅炉掺烧高炉煤气和全烧高炉煤气后的工况变化,并提
城市燃气管网的故障排除工作为城市管网的安全平稳运行的一个重要组成部分,为了能够更准确更有效的解决城市燃气管网运行过程中出现的各种故障,更好的为城市燃气管网管理提供
财务管理是施工企业管理中的重要部分,本文主要针对施工企业财务管理中存在的问题,提出解决对策和改进建议,以改善施工企业财务管理,促进财务管理工作健康发展,逐步内生性提
屋面防雷主要包括建筑物屋面防雷及屋面设施防雷,而后者又包括防直击雷和防雷电感应两部分.不同类型屋面避雷带的敷设方式不同,施工时应尽量避免破坏屋面防水层,注意避雷带与
本文利用Atmega16单片机为核心开发汽车空调自动控制系统。该系统主要包括温度采集模块、显示模块、键盘输入模块和控制模块。在前向通道通过热电阻对温度进行采集,采集到的数