IKE2协议的形式化分析

摘要：

现有的IPSec密钥交换标准存在着若干安全漏洞,为了解决相关的安全及应用问题,IETF提出了IKE2协议.应用SVO逻辑对IKE2协议进行了形式化分析,证明了IKE2协议的密钥交换和认证安全性.对IKE2协议的分析也证明了SVO逻辑可用于分析基于Diffie-Hellman交换的复杂安全协议.

关键词： 安全协议 SVO逻辑 IKE2

作者: 解云峰 李之棠 李伟明

作者单位: 华中科技大学计算机科学与技术学院,武汉,430074 华中科技大学网络中心,武汉,430074

会议类型: 国内会议

会议名称: 第二届中国可信计算与信息安全学术会议

会议地点: 河北保定

会议语种:中文

页码: 275-279

在线出版日期: 2006-10-21（万方平台首次上网日期，不代表论文的发表时间）