互联网密钥交换协议的SMV分析.pdfVIP

互联网密钥交换协议的!# 分析 常 亮 古天龙 郭云川 ! # 桂林电子工业学院计算机系 桂林 #, %, /MOPKN 4UPIVW!X5YPIV$6JO 摘 要 该文基于3= 对新版本的互联网密钥交换协议!-./9! $进行了分析%在对-./9! 协议进行形式建模以及应用 40@ 对相应的安全性质进行形式描述的基础上利用3= 分析了协议的认证性秘密性和完整性发现了两个攻击并 对这两个攻击所产生的影响进行了讨论% 关键词 -./ 协议 模型检测 3= 文章编号 ! $