本文關(guān)鍵詞：RFID安全認(rèn)證協(xié)議的關(guān)鍵問題研究，由筆耕文化傳播整理發(fā)布。

【摘要】：RFID(Radio Frequency Identification,射頻識(shí)別技術(shù))的概念是美國(guó)麻省理工學(xué)院自動(dòng)標(biāo)識(shí)中心于1999年提出的,作為物聯(lián)網(wǎng)感知層的核心技術(shù),隨著國(guó)家對(duì)“互聯(lián)網(wǎng)+”產(chǎn)業(yè)的重視,得到了迅速發(fā)展。RFID射頻識(shí)別系統(tǒng)的應(yīng)用領(lǐng)域非常廣泛,如金融系統(tǒng)、科技軍工系統(tǒng)、工程建筑系統(tǒng)等。RFID系統(tǒng)的通信可分為兩部分:一在閱讀器與后臺(tái)數(shù)據(jù)庫(kù)之間,二者的通信使用有線傳輸,安全性較強(qiáng);二在閱讀器與標(biāo)簽之間,二者的通信使用無線傳輸,安全性相對(duì)較差,因此是安全漏洞出現(xiàn)最頻繁的部分。標(biāo)簽包括無源標(biāo)簽和有源標(biāo)簽兩類:目前大部分有源標(biāo)簽應(yīng)用的安全協(xié)議復(fù)雜度較高、硬件消耗過大;而目前無源標(biāo)簽應(yīng)用的大部分安全協(xié)議安全強(qiáng)度較低、運(yùn)行效率也略低。因而選取適合標(biāo)簽的安全認(rèn)證協(xié)議是確保RFID系統(tǒng)通信安全的重要保證。論文針對(duì)應(yīng)用有源標(biāo)簽RFID系統(tǒng)的安全問題,提出了PRSA安全認(rèn)證協(xié)議,通過BAN邏輯進(jìn)行了正確性驗(yàn)證,并運(yùn)用SPIN模型檢測(cè)進(jìn)行了安全性驗(yàn)證。將Hash協(xié)議、LMAP協(xié)議、基于ECC算法的安全協(xié)議與PRSA協(xié)議在運(yùn)行時(shí)間、進(jìn)程步數(shù)、硬件消耗、安全強(qiáng)度、運(yùn)行效率等方面進(jìn)行了綜合對(duì)比分析,證明了PRSA協(xié)議不但復(fù)雜度較低,而且硬件消耗較小。針對(duì)應(yīng)用無源標(biāo)簽的RFID系統(tǒng)的安全問題,提出了MH安全認(rèn)證協(xié)議,運(yùn)用BAN邏輯對(duì)其正確性進(jìn)行了驗(yàn)證,并通過SPIN模型檢測(cè)進(jìn)行了安全性驗(yàn)證。將MH協(xié)議在協(xié)議的運(yùn)行時(shí)間、進(jìn)程步數(shù)、安全強(qiáng)度、運(yùn)行效率等方面與SASI協(xié)議、Gossamer協(xié)議、RAPP協(xié)議、LMAP+等典型協(xié)議進(jìn)行了綜合對(duì)比分析,證明了MH協(xié)議不但安全性較強(qiáng),而且具有較高的運(yùn)行效率。論文通過對(duì)RFID系統(tǒng)通信中的安全問題進(jìn)行分析,針對(duì)RFID系統(tǒng)在通信過程中最薄弱的部分,即標(biāo)簽與閱讀器間的無線傳輸通信,提出了針對(duì)兩種不同類型標(biāo)簽的解決方案,即PRSA協(xié)議和MH協(xié)議。通過驗(yàn)證和對(duì)比分析,證明了所提出的安全認(rèn)證協(xié)議可以解決當(dāng)前RFID系統(tǒng)所面臨的通信安全問題。
【關(guān)鍵詞】：物聯(lián)網(wǎng) RFID PRSA協(xié)議 MH協(xié)議 BAN邏輯 SPIN模型
【學(xué)位授予單位】：遼寧工業(yè)大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：TP391.44
【目錄】：

• 摘要5-6
• Abstract6-9
• 1 緒論9-13
• 1.1 研究背景9
• 1.2 研究意義9
• 1.3 國(guó)內(nèi)外研究現(xiàn)狀9-11
• 1.4 研究?jī)?nèi)容及論文結(jié)構(gòu)11-13
• 1.4.1 研究?jī)?nèi)容11
• 1.4.2 論文結(jié)構(gòu)11-13
• 2 RFID系統(tǒng)中的安全認(rèn)證協(xié)議13-18
• 2.1 適合無源標(biāo)簽的安全認(rèn)證協(xié)議13-15
• 2.1.1 Gossamer協(xié)議13-14
• 2.1.2 SASI協(xié)議14
• 2.1.3 RAPP協(xié)議14-15
• 2.1.4 LMAP+協(xié)議15
• 2.2 適合有源標(biāo)簽的安全認(rèn)證協(xié)議15-17
• 2.2.1 哈希鎖協(xié)議15-16
• 2.2.2 Hash鏈協(xié)議16
• 2.2.3 LMAP協(xié)議16
• 2.2.4 基于ECC加密算法的安全認(rèn)證協(xié)議16-17
• 2.3 本章小結(jié)17-18
• 3 RFID認(rèn)證算法和協(xié)議驗(yàn)證方法分析18-27
• 3.1 安全協(xié)議中的密碼學(xué)算法18-21
• 3.2 安全協(xié)議的驗(yàn)證方法21-26
• 3.2.1 邏輯推理驗(yàn)證法21-23
• 3.2.2 模型模擬檢測(cè)法23-25
• 3.2.3 定理歸納證明法25-26
• 3.3 本章小結(jié)26-27
• 4 MH協(xié)議27-41
• 4.1 MH協(xié)議的構(gòu)建27-28
• 4.1.1 初始化條件27
• 4.1.2 協(xié)議的結(jié)構(gòu)及流程27-28
• 4.2 MH協(xié)議的正確性驗(yàn)證28-30
• 4.3 MH協(xié)議的安全性驗(yàn)證30-38
• 4.3.1 實(shí)驗(yàn)環(huán)境31
• 4.3.2 實(shí)驗(yàn)結(jié)果31-34
• 4.3.3 各協(xié)議的參數(shù)分析與比較34-38
• 4.4 MH協(xié)議的應(yīng)用安全性分析38-40
• 4.5 本章小結(jié)40-41
• 5 PRSA協(xié)議41-55
• 5.1 PRSA協(xié)議的構(gòu)建41-42
• 5.1.1 初始化條件41-42
• 5.1.2 協(xié)議的結(jié)構(gòu)及流程42
• 5.2 PRSA協(xié)議的正確性驗(yàn)證42-45
• 5.3 PRSA協(xié)議的安全性驗(yàn)證45-52
• 5.3.1 實(shí)驗(yàn)環(huán)境45-46
• 5.3.2 實(shí)驗(yàn)結(jié)果46-49
• 5.3.3 各協(xié)議的參數(shù)分析與比較49-52
• 5.4 PRSA協(xié)議的應(yīng)用安全性分析52-54
• 5.5 本章小結(jié)54-55
• 6 結(jié)論55-57
• 6.1 論文創(chuàng)新點(diǎn)55-56
• 6.2 存在的不足及未來展望56-57
• 參考文獻(xiàn)57-60
• 攻讀碩士期間發(fā)表學(xué)術(shù)論文情況60-61
• 致謝61

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 田建波,徐勝波,王育民;認(rèn)證協(xié)議形式分析的討論[J];西安電子科技大學(xué)學(xué)報(bào);1998年03期

2 張勇,陳涵生,白英彩;結(jié)構(gòu)化認(rèn)證協(xié)議設(shè)計(jì)方法研究[J];計(jì)算機(jī)工程;2000年12期

3 鄭東,田建波,王育民;關(guān)于BAN邏輯擴(kuò)展的注記[J];電子科學(xué)學(xué)刊;2000年01期

4 楊宇光,祝世雄;一種量子認(rèn)證協(xié)議的設(shè)計(jì)[J];通信技術(shù);2002年09期

5 段斌,王鍵;學(xué)生就業(yè)網(wǎng)簽約認(rèn)證協(xié)議設(shè)計(jì)及分析[J];計(jì)算機(jī)應(yīng)用;2004年08期

6 吳文杰,張曉光;網(wǎng)絡(luò)查詢系統(tǒng)中認(rèn)證協(xié)議的設(shè)計(jì)與分析[J];計(jì)算機(jī)工程;2005年21期

7 繆祥華;;一種分析和設(shè)計(jì)認(rèn)證協(xié)議的新邏輯[J];計(jì)算機(jī)工程;2008年02期

8 高偉;李飛;劉鋒;;基于身份的非交互可否認(rèn)認(rèn)證協(xié)議[J];計(jì)算機(jī)工程與應(yīng)用;2008年33期

9 ;私有云用戶訪問公有云的一輪認(rèn)證協(xié)議[J];科學(xué)通報(bào);2012年19期

10 徐夢(mèng)茗;肖聰;江衛(wèi);付毅;;認(rèn)證協(xié)議研究概覽[J];信息安全與通信保密;2013年04期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前5條

1 石春暉;趙戰(zhàn)生;;認(rèn)證協(xié)議安全分析[A];第十三屆全國(guó)計(jì)算機(jī)安全技術(shù)交流會(huì)論文集[C];1998年

2 王英俊;徐明;;無線傳感器網(wǎng)絡(luò)交叉認(rèn)證協(xié)議研究與改進(jìn)[A];第十七屆全國(guó)青年通信學(xué)術(shù)年會(huì)論文集[C];2012年

3 仇細(xì)平;繆祥華;楊曉婕;;Otway-Rees認(rèn)證協(xié)議的分析與改進(jìn)[A];2009年研究生學(xué)術(shù)交流會(huì)通信與信息技術(shù)論文集[C];2009年

4 張兆心;方濱興;張宏莉;;基于BAN邏輯的SIP網(wǎng)絡(luò)中認(rèn)證協(xié)議安全性分析[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)——通信與信息技術(shù)會(huì)議論文集（下）[C];2006年

5 卿斯?jié)h;;關(guān)于“報(bào)文重發(fā)”型攻擊的注記[A];第十一屆全國(guó)計(jì)算機(jī)安全技術(shù)交流會(huì)論文集[C];1996年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前4條

1 閆冰;WLAN選擇最佳EAP[N];網(wǎng)絡(luò)世界;2006年

2 郭勇;無線安全八手絕活[N];網(wǎng)絡(luò)世界;2005年

3 那罡;無線安全跨越“線”制[N];中國(guó)計(jì)算機(jī)報(bào);2008年

4 記者 胡英;為中國(guó)移動(dòng)提供Wi-Fi公共熱點(diǎn)[N];計(jì)算機(jī)世界;2003年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前9條

1 劉亞麗;面向隱私保護(hù)的RFID安全認(rèn)證協(xié)議研究[D];南京航空航天大學(xué);2014年

2 鄧江;新型認(rèn)證協(xié)議研究[D];電子科技大學(xué);2015年

3 田建波;認(rèn)證協(xié)議的分析設(shè)計(jì)[D];西安電子科技大學(xué);1998年

4 黃尹;認(rèn)證協(xié)議及其在網(wǎng)絡(luò)安全系統(tǒng)中的應(yīng)用研究[D];武漢大學(xué);2010年

5 趙鑫;面向應(yīng)用的無線傳感器網(wǎng)絡(luò)廣播認(rèn)證協(xié)議研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2010年

6 鄭麗娟;身份與位置分離網(wǎng)絡(luò)中認(rèn)證協(xié)議的研究與設(shè)計(jì)[D];北京交通大學(xué);2014年

7 楊衛(wèi)東;IEEE802.11無線網(wǎng)絡(luò)媒體訪問控制及認(rèn)證協(xié)議研究[D];西安電子科技大學(xué);2008年

8 王惠斌;安全認(rèn)證協(xié)議的設(shè)計(jì)與分析[D];解放軍信息工程大學(xué);2010年

9 曹雪菲;基于身份的認(rèn)證協(xié)議的理論及應(yīng)用研究[D];西安電子科技大學(xué);2008年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 王彥;基于單分組散列函數(shù)的移動(dòng)RFID認(rèn)證協(xié)議[D];延邊大學(xué);2015年

2 李艷;基于PUF輕量級(jí)認(rèn)證協(xié)議的分析與研究[D];鄭州大學(xué);2015年

3 孫兵;面向BrowserID認(rèn)證協(xié)議的還原方法研究[D];山東大學(xué);2015年

4 譚永洲;基于輕量級(jí)CA的無線Mesh網(wǎng)絡(luò)認(rèn)證研究[D];湖南科技大學(xué);2015年

5 陳文杰;RFID認(rèn)證協(xié)議的研究與設(shè)計(jì)[D];電子科技大學(xué);2014年

6 黨利娜;無線體域網(wǎng)中的認(rèn)證協(xié)議研究[D];西安電子科技大學(xué);2014年

7 龔圓圓;RFID安全認(rèn)證協(xié)議的研究[D];西安電子科技大學(xué);2014年

8 孟祥波;路由器互連認(rèn)證協(xié)議的設(shè)計(jì)與實(shí)現(xiàn)[D];國(guó)防科學(xué)技術(shù)大學(xué);2013年

9 李承;RFID互認(rèn)證協(xié)議的設(shè)計(jì)及安全性分析[D];西安電子科技大學(xué);2014年

10 張瑾瑾;RFID認(rèn)證協(xié)議的研究與設(shè)計(jì)[D];河南工業(yè)大學(xué);2015年

  本文關(guān)鍵詞：RFID安全認(rèn)證協(xié)議的關(guān)鍵問題研究，由筆耕文化傳播整理發(fā)布。

，

本文編號(hào)：450148