协议组合逻辑安全的WMN认证密钥协商方案

摘要：

IEEE P802.11 sTM/D1.01中EMSA认证协议是无线网状网络(WSN)安全的重要保证.基于协议组合逻辑形式化分析了EMSA协议的安全性,发现EMSA协议存在密钥泄露伪装攻击.针对该安全威胁,运用协议演绎系统提出了一种新的WSN安全认证密钥协商方案,并使用协议组合逻辑对新方案进行了形式化的安全性证明分析.最终表明新协议相对于EMSA协议更加安全,具有前向安全性,可抵御密钥泄露伪装攻击,更适合WSN应用环境.

关键词：无线网状网络安全、协议组合逻辑、协议演绎系统、密钥泄露伪装攻击

所属期刊栏目：34

分类号：TN915.08

资助基金：国家自然科学基金资助项目64261029,61461025;兰州交通大学青年基金资助项目2016004

在线出版日期：2017-08-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2473-2477