【摘 要】
：
安全性是新一代密钥交换协议的关键,而Spi演算是研究协议安全性的一种形式化方法,文中采用Spi演算研究了IKEv2协议的安全属性。针对Spi演算不能形式化定义Diffie-Hellman密钥
论文部分内容阅读
安全性是新一代密钥交换协议的关键,而Spi演算是研究协议安全性的一种形式化方法,文中采用Spi演算研究了IKEv2协议的安全属性。针对Spi演算不能形式化定义Diffie-Hellman密钥交换和密钥生成的问题,扩展了Spi演算的语法和语义。基于扩展的Spi演算形式化分析了IKEv2协议,分析结果表明协议满足认证性和私密性,但不能保护相对重要的发起方身份。针对IKEv2协议的不足,提出了一种基于Weil对签名算法的改进方案。改进后的协议解决了发起方身份保护问题,具有更好的安全性。
其他文献
逍遥散是调和肝脾和解剂之名方,曾广泛应用于临床治疗肝脾不和诸多种疾病,作者经过数年临床探索积淀,渐悟新加逍遥散之医(易)理源来,及临床拓展应用经验,以期为同道提供参考
医师们在从事医疗活动中有差别不是一个新的或令人惊奇的发现,在60年代末的一些研究提示,不仅每个医师之间,而且全国各地区的医师团体之间都存在巨大差别。自70年代后期以来,
目的:探讨芪地消渴方对消渴病的治疗作用。方法:选择2017年5月-2018年10月期间在本院治疗的68例消渴病患者,根据治疗方法分为对照组和观察组,各34例。对照组患者口服西药治疗
1980年6月，徐文胜结束了为期两年的静海师范学校的学习生活，呈现在他面前的有两种选择：一是留在条件较好的县城内学校任教，一是回到农村任教。思量再三，他毅然在毕业志愿书上写道：
文中的目的是描述在人口研究上使用多相地理编码回溯建立地理信息系统的方法。介绍了回溯建立一个地理信息系统的挑战并提出了提高地理编码成功率的实用技巧。使用4800个人的详细情况作为基准数据,在多相过程中完成这些人的地理编码。经过初步删除不能地理编码的地址(38例),使用Arc GIS 96%地址被编码。在这些样本的记录中使用数据抽象的回溯方法,利用地址的核查,除19个地址外,成功地取得了所有地理编码,
目的:观察石膏倒膜治疗亚急性、慢性湿疹的临床疗效。方法:将40例亚急性、慢性湿疹患者左右自身对照。治疗侧采用石膏倒膜配合外用青鹏软膏治疗;对照侧单纯外用青鹏软膏治疗
不可见性是图像隐形水印最基本的要求之一，它的客观标准是水印图像的信噪比。根据这个标准，提出了一种基于小波的以彩色图像为水印的自适应水印算法：根据需要的水印图像三基色的
目的:探究柴胡疏肝散与甲硫咪唑联合用药方案治疗甲状腺功能亢进症(简称甲亢)的近期疗效及远期复发率,为临床医师选择合理治疗方案提供参考。方法:选择2016年1月-2018年8月期
文章通过报道1例糖原贮积症Ⅱ型(Glycogen Storage Disease Type II,GSD II)伴气管插管患者的护理,探讨治疗中诸多问题。在使用2次注射用α-阿糖苷酶替代治疗的基础上配合气
卫生改革要把握三点:即方向、改革和发展。要在现有的政治、经济的社会大环境条件下,加大卫生改革的份量,使卫生改革获得最佳整体效益,笔者认为,在目前应把握好以下诸方面内