论文研究-针对中间人攻击的IKEv2形式化分析与改进.pdf

【文件属性】：

文件名称：论文研究-针对中间人攻击的IKEv2形式化分析与改进.pdf

文件大小：615KB

文件格式：PDF

更新时间：2022-09-26 10:42:17

论文研究

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