【摘要】：IEEE P802.11 sTM/D1.01中EMSA認(rèn)證協(xié)議是無線網(wǎng)狀網(wǎng)絡(luò)(WSN)安全的重要保證�；趨f(xié)議組合邏輯形式化分析了EMSA協(xié)議的安全性,發(fā)現(xiàn)EMSA協(xié)議存在密鑰泄露偽裝攻擊。針對(duì)該安全威脅,運(yùn)用協(xié)議演繹系統(tǒng)提出了一種新的WSN安全認(rèn)證密鑰協(xié)商方案,并使用協(xié)議組合邏輯對(duì)新方案進(jìn)行了形式化的安全性證明分析。最終表明新協(xié)議相對(duì)于EMSA協(xié)議更加安全,具有前向安全性,可抵御密鑰泄露偽裝攻擊,更適合WSN應(yīng)用環(huán)境。
[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.
【作者單位】： 蘭州交通大學(xué)電子與信息工程學(xué)院;
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(64261029,61461025) 蘭州交通大學(xué)青年基金資助項(xiàng)目(2016004)
【分類號(hào)】：TN915.08;TN918.4

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 柴振榮;可再組合邏輯:技術(shù)與應(yīng)用[J];管理科學(xué)文摘;1995年08期

2 吳惠民;張文娟;梁曉明;;組合邏輯中軟誤差的評(píng)估和改進(jìn)措施[J];福建電腦;2008年09期

3 江俊逢;組合邏輯網(wǎng)絡(luò)的無冒險(xiǎn)實(shí)現(xiàn)[J];計(jì)算機(jī)學(xué)報(bào);1980年04期

4 董一仁;;組合邏輯網(wǎng)絡(luò)的故障模擬策略[J];電子計(jì)算機(jī)動(dòng)態(tài);1980年03期

5 鄒本浩;無競(jìng)爭(zhēng)最小化組合邏輯網(wǎng)絡(luò)設(shè)計(jì)[J];阜新礦業(yè)學(xué)院學(xué)報(bào);1984年01期

6 駱如海;化簡(jiǎn)組合邏輯網(wǎng)絡(luò)的一種無冗余算法[J];計(jì)算機(jī)研究與發(fā)展;1985年05期

7 邸志雄;史江義;馬佩軍;張譯;袁莉;郝躍;許釗;;一種組合邏輯環(huán)轉(zhuǎn)化方法[J];西安電子科技大學(xué)學(xué)報(bào);2014年01期

8 張義清;管致錦;呂彥明;;基于粗糙集的組合邏輯優(yōu)化算法[J];蘭州理工大學(xué)學(xué)報(bào);2007年01期

9 俞p，

本文編號(hào)：2332260