欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：