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

Security authentication key agreement scheme for WSN based on protocol composition logic

作　　者：张冰涛[1] 王小鹏[1] 王履程[1] 

机构地区：[1]兰州交通大学电子与信息工程学院,兰州730070

出　　处：《计算机应用研究》2017年第8期2473-2477,共5页Application Research of Computers

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

摘　　要：IEEE P802.11 sTM/D1.01中EMSA认证协议是无线网状网络(WSN)安全的重要保证。基于协议组合逻辑形式化分析了EMSA协议的安全性,发现EMSA协议存在密钥泄露伪装攻击。针对该安全威胁,运用协议演绎系统提出了一种新的WSN安全认证密钥协商方案,并使用协议组合逻辑对新方案进行了形式化的安全性证明分析。最终表明新协议相对于EMSA协议更加安全,具有前向安全性,可抵御密钥泄露伪装攻击,更适合WSN应用环境。IEEE P802. 11sTM/D1.01 standard＇ s EMSA authentication protocol is an important secure guarantee for WSN. Based on protocol composition logic, this paper formally analyzed the EMSA protocol＇ s security, found the key compromise impersonation attack, and put forward a new security authentication key agreement scheme for WSN based on protocol deriva- tion system. Simultaneously, it gave a formal security proof and analysis for the presented scheme using protocol composition logic. Finally it shows that this new protocol is more secure than the EMSA protocol, has forward security and can resistant key compromise impersonation attack, and is more suitable for WSN application environment.

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

分 类 号：TN915.08[电子电信—通信与信息系统]