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

• 作者: 张冰涛 王小鹏 王履程
• 来源期刊: 计算机应用研究
• 关键词: 无线网状网络安全 协议组合逻辑 协议演绎系统 密钥泄露伪装攻击
• 年，卷（期）: 2017,（8）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2473-2477
• 页数: 5页
• 分类号: TN915.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2017.08.052

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王小鹏	兰州交通大学电子与信息工程学院	119	812	15.0	22.0
2	张冰涛	兰州交通大学电子与信息工程学院	10	18	3.0	3.0
3	王履程	兰州交通大学电子与信息工程学院	21	169	7.0	12.0