10.3778/j.issn.1002-8331.2012.02.017
针对中间人攻击的IKEv2形式化分析与改进
基于BSW逻辑对互联网密钥交换协议(IKEv2)进行了形式化分析,证明协议在预共享密钥认证方式下存在中间人攻击,提出一个改进方案,并利用扩展的BSW逻辑分析了改进后的协议能够抵御中间人攻击,且能够满足协议的认证性、秘密性和完整性.
BSW逻辑、IKEv2协议、中间人攻击、预共享密钥
48
TP393.08(计算技术、计算机技术)
江苏省自然科学基金BK2008090
2012-04-27(万方平台首次上网日期,不代表论文的发表时间)
共4页
59-62