1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 针对中间人攻击的IKEv2形式化分析与改进.pdf

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

上传者: 2020-07-19 20:20:46上传 .PDF文件 615KB 热度 18次
基于BSW逻辑对互联网密钥交换协议(IKEv2)进行了形式化分析,证明协议在预共享密钥认证方式下存在中间人攻击,提出一个改进方案,并利用扩展的BSW逻辑分析了改进后的协议能够抵御中间人攻击,且能够满足协议的认证性、秘密性和完整性。
下载地址
用户评论