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

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

Full description

Saved in:
Bibliographic Details
Published in计算机应用研究 Vol. 34; no. 8; pp. 2473 - 2477
Main Author 张冰涛 王小鹏 王履程
Format Journal Article
LanguageChinese
Published 兰州交通大学 电子与信息工程学院,兰州,730070 2017
Subjects
协议演绎系统
协议组合逻辑
密钥泄露伪装攻击
无线网状网络安全
无线网状网络安全
protocol composition logic
protocol derivation system
key compromise impersonation attack
协议演绎系统
协议组合逻辑
密钥泄露伪装攻击
WSN security
Online AccessGet full text
ISSN1001-3695
DOI10.3969/j.issn.1001-3695.2017.08.052

Cover

More Information
Summary:IEEE P802.11 sTM/D1.01中EMSA认证协议是无线网状网络（WSN）安全的重要保证。基于协议组合逻辑形式化分析了EMSA协议的安全性,发现EMSA协议存在密钥泄露伪装攻击。针对该安全威胁,运用协议演绎系统提出了一种新的WSN安全认证密钥协商方案,并使用协议组合逻辑对新方案进行了形式化的安全性证明分析。最终表明新协议相对于EMSA协议更加安全,具有前向安全性,可抵御密钥泄露伪装攻击,更适合WSN应用环境。
Bibliography:51-1196/TP
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.
WSN security; protocol composition logic; protocol derivation system; key compromise impersonation attack
Zhang Bingtao, Wang Xiaopeng, Wang Lvcheng （School of Electronic ＆ Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China）
ISSN:1001-3695
DOI:10.3969/j.issn.1001-3695.2017.08.052