本文關(guān)鍵詞：基于身份認(rèn)證的密鑰協(xié)商協(xié)議研究，由筆耕文化傳播整理發(fā)布。

【摘要】：針對(duì)已有的基于身份的認(rèn)證密鑰協(xié)商協(xié)議存在的安全問題,提出一種改進(jìn)的基于身份的認(rèn)證密鑰協(xié)商協(xié)議,該協(xié)議采用雙線性對(duì)運(yùn)算方法,用戶雙方的臨時(shí)和長(zhǎng)期私鑰結(jié)合進(jìn)行最終會(huì)話密鑰的計(jì)算,解決了WCD協(xié)議中存在的PKG前向安全性問題、單一依賴臨時(shí)或長(zhǎng)期私鑰而存在的問題和已知臨時(shí)會(huì)話密鑰泄漏攻擊的問題。在保證改進(jìn)協(xié)議正確的基礎(chǔ)上,對(duì)協(xié)議的安全屬性及協(xié)議性能進(jìn)行了分析,采用SVO邏輯對(duì)協(xié)議進(jìn)行形式化分析,驗(yàn)證了改進(jìn)協(xié)議的認(rèn)證性和安全性。結(jié)果表明,改進(jìn)的協(xié)議滿足基于身份認(rèn)證密鑰協(xié)商協(xié)議的所有安全性要求,與已有基于身份的認(rèn)證密鑰協(xié)商協(xié)議相比具有更好的安全屬性及計(jì)算效率。
【關(guān)鍵詞】：基于身份的認(rèn)證 密鑰協(xié)商 雙線性對(duì) SVO邏輯 形式化驗(yàn)證
【學(xué)位授予單位】：遼寧工程技術(shù)大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TN918.4
【目錄】：

• 致謝4-5
• 摘要5-6
• Abstract6-9
• 1 緒論9-12
• 1.1 研究背景及其現(xiàn)狀9-10
• 1.2 研究意義10-11
• 1.3 本文組織結(jié)構(gòu)11-12
• 2 密鑰協(xié)商協(xié)議的相關(guān)問題12-19
• 2.1 可證安全的基本思想12-13
• 2.2 特殊標(biāo)記及其符號(hào)13
• 2.3 基礎(chǔ)數(shù)學(xué)13-15
• 2.3.1 基礎(chǔ)代數(shù)及有關(guān)運(yùn)算13-14
• 2.3.2 困難問題假設(shè)14
• 2.3.3 哈希函數(shù)14-15
• 2.4 密碼協(xié)議體制15-17
• 2.5 密鑰協(xié)商協(xié)議的安全屬性17-18
• 2.6 本章小結(jié)18-19
• 3 標(biāo)準(zhǔn)模型下的認(rèn)證密鑰協(xié)商協(xié)議的研究19-33
• 3.1 標(biāo)準(zhǔn)模型下的基于身份認(rèn)證的密鑰協(xié)商協(xié)議19-25
• 3.1.1 兩種基于身份認(rèn)證的密鑰協(xié)商協(xié)議20-22
• 3.1.2 基于身份認(rèn)證的密鑰協(xié)商協(xié)議的安全性分析22-25
• 3.2 標(biāo)準(zhǔn)模型下改進(jìn)協(xié)議的身份認(rèn)證密鑰協(xié)商協(xié)議25-29
• 3.2.1 改進(jìn)協(xié)議的身份認(rèn)證密鑰協(xié)商協(xié)議26-27
• 3.2.2 改進(jìn)協(xié)議的身份認(rèn)證密鑰協(xié)商協(xié)議的安全性分析27-29
• 3.3 基于身份認(rèn)證的改進(jìn)前后協(xié)議的性能對(duì)比29-31
• 3.4 標(biāo)準(zhǔn)模型下存在的安全性缺陷31-32
• 3.5 本章小結(jié)32-33
• 4 基于身份認(rèn)證的密鑰協(xié)商協(xié)議研究33-42
• 4.1 基于身份認(rèn)證的密鑰協(xié)商協(xié)議建立34-36
• 4.1.1 系統(tǒng)建立34
• 4.1.2 密鑰協(xié)商與認(rèn)證34-35
• 4.1.3 協(xié)議中的密鑰確認(rèn)35-36
• 4.2 基于身份認(rèn)證的密鑰協(xié)商協(xié)議建立的分析36-41
• 4.2.1 正確性分析36-37
• 4.2.2 安全屬性分析37-38
• 4.2.3 效率分析38-40
• 4.2.4 協(xié)議性能比較40-41
• 4.3 本章小結(jié)41-42
• 5 本文協(xié)議的安全性證明42-58
• 5.1 SVO邏輯的形式化證明42-46
• 5.1.1 SVO邏輯符號(hào)定義43
• 5.1.2 SVO邏輯推理公理及規(guī)則43-45
• 5.1.3 基于身份認(rèn)證的密鑰協(xié)商協(xié)議的SVO邏輯分析45-46
• 5.2 實(shí)驗(yàn)驗(yàn)證46-57
• 5.2.1 模擬協(xié)議48-55
• 5.2.2 實(shí)驗(yàn)結(jié)果55-57
• 5.3 本章小結(jié)57-58
• 結(jié)論58-59
• 參考文獻(xiàn)59-61
• 附錄A 用戶B的SVO證明61-63
• 作者簡(jiǎn)歷63-65
• 學(xué)位論文數(shù)據(jù)集65

【參考文獻(xiàn)】

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

1 劉志遠(yuǎn);;安全的基于身份認(rèn)證密鑰協(xié)商協(xié)議[J];湖南科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2014年01期

  本文關(guān)鍵詞：基于身份認(rèn)證的密鑰協(xié)商協(xié)議研究，由筆耕文化傳播整理發(fā)布。

，

本文編號(hào)：460553