计算机应用研究2017，Vol.34Issue(8)：2473-2477,5.DOI:10.3969/j.issn.1001-3695.2017.08.052
协议组合逻辑安全的WMN认证密钥协商方案
Security authentication key agreement scheme forWSN based on protocol composition logic
摘要
Abstract
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 derivation 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.关键词
无线网状网络安全/协议组合逻辑/协议演绎系统/密钥泄露伪装攻击Key words
WSN security/protocol composition logic/protocol derivation system/key compromise impersonation attack分类
信息技术与安全科学引用本文复制引用
张冰涛,王小鹏,王履程..协议组合逻辑安全的WMN认证密钥协商方案[J].计算机应用研究,2017,34(8):2473-2477,5.基金项目
国家自然科学基金资助项目(64261029,61461025) （64261029,61461025）
兰州交通大学青年基金资助项目(2016004) （2016004）
