论文部分内容阅读
现有的IPSec密钥交换标准存在着若干安全漏洞,为了解决相关的安全及应用问题,IETF提出了IKE2协议.应用SVO逻辑对IKE2协议进行了形式化分析,证明了IKE2协议的密钥交换和认证安全性.对IKE2协议的分析也证明了SVO逻辑可用于分析基于Diffie-Hellman交换的复杂安全协议.
IKE2协议的形式化分析
【摘 要】
：
现有的IPSec密钥交换标准存在着若干安全漏洞,为了解决相关的安全及应用问题,IETF提出了IKE2协议.应用SVO逻辑对IKE2协议进行了形式化分析,证明了IKE2协议的密钥交换和认证安
【机 构】
：
华中科技大学计算机科学与技术学院,武汉,430074华中科技大学网络中心,武汉,430074
【出 处】
：
第二届中国可信计算与信息安全学术会议
【发表日期】
：
2006年10期
其他文献
根据猪链球菌2型（SS2）溶菌酶释放蛋白（MRP）和纤维蛋白原结合蛋白（FBPS）的基因序列，选取可能含有抗原决定簇的两片段，各设计合成一对引物，使之含有共同的酶切位点。通过T4DNA连接酶串联
针对基于知识应用和交互的复杂工作流系统,对知识应用特性进行了分析,并构造了对应知识聚合与信息再生的过程单元.利用过程单元之间的关联分析,对面向知识应用和交互的工作流
目的探讨老年隐裂牙牙髓炎一次性根管治疗的教学体会。方法选取在2016年8月—2017年11月期间在该院实习的实习生共12名。随机均分为对照组和观察组,其中给对照组采用传统教学
邓小平把马克思主义的发展理论同中国社会主义建设的实践相结合，创立了从中国发展的历史特点出发思考中国现代化发展模式的独具特色的发展理论，其内容十分丰富，这一具有鲜明时代
列宁在第一个无产阶级政权初创时期，提出了一系列克服官僚主义的法律思想，邓小平官僚主义的法律思考则是建立在数十年社会主义实践基础之上。比较两位历史巨人依靠法制克服官僚
目的分析对消化性溃疡患者实施中医药治疗时的安全用药管理,为消化性溃疡患者的临床安全用药提供可参考资料。方法回顾性收集该院在1年内收治的50例使用中医药治疗,并且出现
文章从三个方面对“三个代表”的哲学基础进行了论述。认为中国共产党“始终代表中国社会先进生产力的发展要求”，是运用历史唯物主义关于社会基本矛盾运动的观点，科学地回答了
针对数据的不完备性，提出一种新策略，通过在局部站点上增加知识层--用已知属性值粗略表示不确定属性值的一套规则，将分布式信息系统转换为分布式知识系统，利用多个站点的信息协作