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