协议组合逻辑安全的WMN认证密钥协商方案
发布时间：2018-11-14 20:49
【摘要】：IEEE P802.11 sTM/D1.01中EMSA认证协议是无线网状网络(WSN)安全的重要保证。基于协议组合逻辑形式化分析了EMSA协议的安全性,发现EMSA协议存在密钥泄露伪装攻击。针对该安全威胁,运用协议演绎系统提出了一种新的WSN安全认证密钥协商方案,并使用协议组合逻辑对新方案进行了形式化的安全性证明分析。最终表明新协议相对于EMSA协议更加安全,具有前向安全性,可抵御密钥泄露伪装攻击,更适合WSN应用环境。
[Abstract]:EMSA authentication protocol in IEEE P802.11 sTM/D1.01 is an important guarantee of (WSN) security in wireless mesh networks. Based on the protocol combination logic, the security of EMSA protocol is formalized, and it is found that the EMSA protocol has secret key disclosure camouflage attack. In view of the security threat, a new WSN security authentication key agreement scheme is proposed by using the protocol deduction system, and the formal security proof analysis of the new scheme is carried out by using the protocol combination logic. Finally, it is shown that the new protocol is more secure than the EMSA protocol and has forward security, which can resist the key leak camouflage attack and is more suitable for the WSN application environment.
【作者单位】： 兰州交通大学电子与信息工程学院;
【基金】：国家自然科学基金资助项目(64261029,61461025) 兰州交通大学青年基金资助项目(2016004)
【分类号】：TN915.08;TN918.4
[Abstract]:EMSA authentication protocol in IEEE P802.11 sTM/D1.01 is an important guarantee of (WSN) security in wireless mesh networks. Based on the protocol combination logic, the security of EMSA protocol is formalized, and it is found that the EMSA protocol has secret key disclosure camouflage attack. In view of the security threat, a new WSN security authentication key agreement scheme is proposed by using the protocol deduction system, and the formal security proof analysis of the new scheme is carried out by using the protocol combination logic. Finally, it is shown that the new protocol is more secure than the EMSA protocol and has forward security, which can resist the key leak camouflage attack and is more suitable for the WSN application environment.
【作者单位】： 兰州交通大学电子与信息工程学院;
【基金】：国家自然科学基金资助项目(64261029,61461025) 兰州交通大学青年基金资助项目(2016004)
【分类号】：TN915.08;TN918.4
【相似文献】
相关期刊论文 前10条
1 柴振荣;可再组合逻辑:技术与应用[J];管理科学文摘;1995年08期
2 吴惠民;张文娟;梁晓明;;组合逻辑中软误差的评估和改进措施[J];福建电脑;2008年09期
3 江俊逢;组合逻辑网络的无冒险实现[J];计算机学报;1980年04期
4 董一仁;;组合逻辑网络的故障模拟策略[J];电子计算机动态;1980年03期
5 邹本浩;无竞争最小化组合逻辑网络设计[J];阜新矿业学院学报;1984年01期
6 骆如海;化简组合逻辑网络的一种无冗余算法[J];计算机研究与发展;1985年05期
7 邸志雄;史江义;马佩军;张译;袁莉;郝跃;许钊;;一种组合逻辑环转化方法[J];西安电子科技大学学报;2014年01期
8 张义清;管致锦;吕彦明;;基于粗糙集的组合逻辑优化算法[J];兰州理工大学学报;2007年01期
9 俞p，
本文编号：2332260
本文链接：https://www.wllwen.com/kejilunwen/xinxigongchenglunwen/2332260.html
