Internet密钥交换协议的安全缺陷分析

来源 :软件学报 | 被引量 : 0次 | 上传用户：tanshuyao

【摘要】

：

IKE(Internet key exchange,RFC2409)提供了一组Internet密钥交换协议,目的是在IPSec(IP security)通信双方之间建立安全联盟和经过认证的密钥材料.随后有学者发现IKE协议存

【作者】

：

张勇冯东雷陈涵生白英彩

【机构】

：

上海交通大学,华东计算技术研究所

【出处】

：

软件学报

【发表日期】

：

2002年6期

【关键词】

：

INTERNET 密钥交换协议安全缺陷分析安全联盟认证主模式认证者网络安全 Artificial intelligence Cryptography

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

IKE(Internet key exchange,RFC2409)提供了一组Internet密钥交换协议,目的是在IPSec(IP security)通信双方之间建立安全联盟和经过认证的密钥材料.随后有学者发现IKE协议存在一个安全缺陷,并给出相应的修改建议.指出了修改后的IKE协议仍然存在类似的安全缺陷,并描述了一个成功的攻击.在给出修改建议的同时,成功地利用BAN逻辑分析了导致这两个安全缺陷的原因.

其他文献

正结脑方辅助基础疗法治疗结核性脑膜炎的临床疗效研究

目的观察正结脑方辅助基础疗法治疗结核性脑膜炎的临床疗效。方法将本院接受治疗的103例结核性脑膜炎患者随机分为对照组和研究组,其中对照组患者采用的治疗方式为：①标准化疗

期刊

正结脑方结核性脑膜炎临床研究辅助疗法Zhengjienaofang tuberculous meningitis clinical study c

NT-ProBNP在呼吸困难患者中的诊断意义

目的探讨NT-ProBNP在呼吸困难患者中的诊断意义。方法对我院随机抽取68例出现呼吸困难的患者利用ELISA法进行测定血浆NT-ProBNP浓度，其中包括心源性的呼吸困难与非心源性的呼

期刊

NT-PROBNP非心源性呼吸困难患者诊断BNP浓度ELISA法特异性敏感性

溶剂对有机化学反应的影响

本文通过介绍溶剂在加成、取代、氧化还原、缩合、烃基化等有机化学反应中的应用，阐述溶剂对有机化学反应的影响。

期刊

溶剂有机化学反应影响加成反应取代反应氧化还原反应缩合反应烃基化反应

基于插值的Bernstein多项式复合及其曲线曲面应用

项式插值和符号计算的思想,研究了Bernstein多项式函数复合问题,并将其应用于曲线曲面的情形.与两种已有方法相比,新方法具有速度快、易于编程实现、占用存储空间少的特点,但数值精度低于基于广义de Casteljau算法的多项式复合结果.

期刊

插值Bernstein多项式复合曲线曲面计算机辅助设计符号计算数值精度Bernstein polynomial functional compos

炭疽杆菌S层的研究进展

S层是广泛存在于古细菌和真细菌细胞壁最外层的结构独特、功能特殊的成分，对它的研究具有重要的意义。炭疽杆菌是引起人畜炭疽病的病原体，对其S层的研究将为深入认识该菌的生理

期刊

炭疽杆菌S层胞外抗原1表面排列蛋白Bacillus anthracis S-layer extracellular antigen I（EA1）

重组人碱性成纤维细胞生长因子工程菌的发酵工艺研究

对大肠杆菌表达的rh-bFGF工程菌的发酵条件进行了研究，探讨了发酵条件对工程菌表达外源蛋白量及细菌收率的影响，优化了影响发酵的各种条件，如培养基配方，pH值，补料，诱导表达时机等，

期刊

重组人碱性成纤维细胞生长因子工程菌发酵工艺BFGFbasic fibroblast growth factorengineering bacter

一种用于大规模模式识别问题的神经网络算法

许多实际的模式识别问题如对手写体汉字的识别,都属于大规模的模式识别问题.目前,传统的神经网络算法对这类问题尚无有效的解决办法.在球邻域模型的基础上提出一种可用于大规

期刊

神经网络模式识别字符识别球邻域模型汉字识别算法AlgorithmsCharacter recognitionData structuresLa

L—型细菌蛋白表达系统

L-型细菌由于缺乏细胞壁以及具有的其它特殊生物学特性,通过连接合适的信号肽,可以用于许多外源蛋白的可溶性、功能活性形式的分泌表达.表达产物在培养基中,表达的产量依赖于

期刊

L-型细胞蛋白表达系统外源蛋白分泌活性L-form bacteriaheterogeous proteinexpre ssionsecretio

多指标检测在肺间质纤维化合并肺气肿患者的表达及其临床意义

目的观察各细胞因子在肺间质纤维化合并肺气肿（CPFE）患者中的表达及其血气指标。方法选取30例肺间质纤维化合并肺气肿患者作为观察组,35例特发性肺间质纤维化患者作为对照组I组

期刊

特发性肺间质纤维化多指标检测临床意义肺气肿患者血气指标TNF-ΑIL-10

基于有限状态进程的事件约束定义

测试分布式程序需要定义事件约束来检测程序执行产生的事件序列。事件约束需要根据程序的规约来推导。FSP是一类描述并发程序形式化规约的进程代数记法。它将并发进程描述为

期刊

有限状态进程事件约束定义软件测试并发程序软件开发software testing finite state process specificati

Internet密钥交换协议的安全缺陷分析

与本文相关的学术论文