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

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

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

【參考文獻】

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

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

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

，

本文編號：460553