隨著互聯(lián)網(wǎng)與通信技術(shù)的進(jìn)步,大多數(shù)嵌入式系統(tǒng)都具有網(wǎng)絡(luò)通信的功能。然而,網(wǎng)絡(luò)的開放性使得嵌入式系統(tǒng)容易遭受各種攻擊。這給許多依賴于嵌入式系統(tǒng)執(zhí)行重要控制任務(wù)的基礎(chǔ)行業(yè)帶來了重大的安全風(fēng)險。因此,安全性已成為處于開放環(huán)境中的嵌入式系統(tǒng)亟待解決的問題。針對處于開放環(huán)境中的嵌入式系統(tǒng)的安全問題,本文設(shè)計了一種添加用戶生物信息、使用輕量級函數(shù)的身份認(rèn)證協(xié)議,并實現(xiàn)了一種采用數(shù)字水印技術(shù)防止系統(tǒng)內(nèi)部敏感數(shù)據(jù)被篡改的方法,保證系統(tǒng)不僅能夠抵抗非法用戶的攻擊,也能抵御合法用戶的篡改攻擊。論文的工作內(nèi)容如下:1、針對處于開放環(huán)境中的嵌入式系統(tǒng)易遭受非法用戶攻擊的問題,提出了一種基于生物特征的輕量級身份認(rèn)證協(xié)議。該協(xié)議通過添加具有無需記憶、難竊取和難模仿等優(yōu)點的生物信息,彌補(bǔ)了傳統(tǒng)基于口令和智能卡的雙因素身份認(rèn)證協(xié)議不能抵抗字典攻擊和容易丟失的缺陷;通過采用基于哈希、按位異或和模糊提取器的輕量級函數(shù),減少了嵌入式系統(tǒng)執(zhí)行認(rèn)證協(xié)議所消耗的計算資源。此外,協(xié)議中生成的會話密鑰可用于加密傳輸?shù)臄?shù)據(jù),從而保證數(shù)據(jù)的機(jī)密性與完整性。本文對該協(xié)議進(jìn)行了形式化的驗證和非正式的安全分析,并將其與其它相關(guān)協(xié)議進(jìn)行比較。結(jié)... 

【文章來源】：湖南大學(xué)湖南省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：68 頁

【學(xué)位級別】：碩士

【部分圖文】：

基于ProVerif的形式驗證結(jié)果圖

FLASH空間分配圖

網(wǎng)絡(luò)模型圖

【參考文獻(xiàn)】：
期刊論文
[1]一種采用雙層校驗的RFID離線匿名群證明協(xié)議[J]. 周志彬,王國軍,劉琴,賈維嘉.  計算機(jī)研究與發(fā)展. 2018(12)
[2]實時多核嵌入式系統(tǒng)研究綜述[J]. 陳剛,關(guān)楠,呂鳴松,王義.  軟件學(xué)報. 2018(07)
[3]基于可逆數(shù)字水印認(rèn)證的無線傳感網(wǎng)數(shù)據(jù)融合協(xié)議[J]. 蔣文賢,張振興,吳晶晶.  通信學(xué)報. 2018(03)
[4]嵌入式系統(tǒng)安全綜述[J]. 趙波,倪明濤,石源,樊佩茹.  武漢大學(xué)學(xué)報(理學(xué)版). 2018(02)
[5]一種安全攸關(guān)嵌入式系統(tǒng)需求追蹤方法[J]. 王飛,黃志球,楊志斌,闞雙龍,沈國華,陳光穎.  計算機(jī)學(xué)報. 2018(03)
[6]基于身份的移動互聯(lián)網(wǎng)高效認(rèn)證密鑰協(xié)商協(xié)議[J]. 王真,馬兆豐,羅守山.  通信學(xué)報. 2017(08)
[7]基于USB Key的安全增強(qiáng)密鑰生成方案[J]. 趙波,李二輝,馬駿,黃宇晴.  計算機(jī)工程與應(yīng)用. 2018(10)
[8]密碼協(xié)議代碼執(zhí)行的安全驗證分析綜述[J]. 張煥國,吳福生,王后珍,王張宜.  計算機(jī)學(xué)報. 2018(02)
[9]WBAN網(wǎng)絡(luò)中條件隱私保護(hù)的遠(yuǎn)程用戶認(rèn)證方案[J]. 曹進(jìn),鄭怡清,李暉.  通信學(xué)報. 2016(S1)
[10]可證明安全的社交網(wǎng)絡(luò)隱私保護(hù)方案[J]. 何建瓊,田有亮,周凱.  網(wǎng)絡(luò)與信息安全學(xué)報. 2016(08)

碩士論文
[1]基于數(shù)字水印技術(shù)的電子發(fā)票交易平臺設(shè)計與實現(xiàn)[D]. 方赫.西南交通大學(xué) 2016
[2]移動支付中動態(tài)口令身份認(rèn)證方案研究[D]. 朱美佳.西安電子科技大學(xué) 2011



本文編號：3591787