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

作者：常亮; 古天龙; 郭云川ike协议模型检测smv

摘要：该文基于SMV对新版本的互联网密钥交换协议(IKEv2)进行了分析。在对IKEv2协议进行形式建模．以及应用CTL对相应的安全性质进行形式描述的基础上，利用SMV分析了协议的认证性、秘密性和完整性，发现了两个攻击．并对这两个攻击所产生的影响进行了讨论。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社