针对中间人攻击的IKEv2形式化分析与改进

• 作者: 刘军 周海刚 朱晓薇
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: BSW逻辑 IKEv2协议 中间人攻击 预共享密钥
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 59-62
• 分类号: TP393.08
• 字数: 5544字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2012.02.017

摘要

基于BSW逻辑对互联网密钥交换协议(IKEv2)进行了形式化分析,证明协议在预共享密钥认证方式下存在中间人攻击,提出一个改进方案,并利用扩展的BSW逻辑分析了改进后的协议能够抵御中间人攻击,且能够满足协议的认证性、秘密性和完整性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘军	解放军理工大学通信工程学院	43	123	6.0	9.0
2	朱晓薇	解放军理工大学通信工程学院	1	3	1.0	1.0
3	周海刚	解放军理工大学通信工程学院	24	169	6.0	12.0