現(xiàn)代新型認證密鑰協(xié)商協(xié)議若干問題的研究

第1章 緒論
1.1 研究背景和意義
1.2 可證明安全的認證密鑰協(xié)商協(xié)議的研究現(xiàn)狀與存在的問題
1.2.1 研究現(xiàn)狀
1.2.2 存在的問題
1.3 主要工作和研究成果
第2章 基礎知識
2.1 計算復雜性基本概念
2.2 相關密碼學組件與計算復雜性難題假設
2.2.1 哈希函數(shù)
2.2.2 消息認證碼
2.2.3 數(shù)字簽名
2.2.4 理想密碼模型
2.2.5 隨機預言模型和標準模型
2.2.6 雙線性配對
2.2.7 計算復雜性難題假設
2.2.8 陷門測試技術與分叉引理
2.3 認證密鑰協(xié)商協(xié)議的設計規(guī)范和設計需求
2.3.1 認證密鑰協(xié)商協(xié)議的設計規(guī)范
2.3.2 認證密鑰協(xié)商協(xié)議的設計需求
小結
第3章 強安全基于身份的認證密鑰協(xié)商協(xié)議研究
3.1 強安全基于身份的認證密鑰協(xié)商協(xié)議
3.1.1 引言
3.1.2 基于身份的eCK模型
3.1.3 一個基于身份的認證密鑰協(xié)商方案
3.1.4 安全分析
3.1.5 一個計算上更高效的變體
3.1.6 協(xié)議比較
3.2 強安全可托管基于身份的認證密鑰協(xié)商協(xié)議
3.2.1 引言
3.2.2 安全模型
3.2.3 一個可托管的基于身份的認證密鑰協(xié)商協(xié)議
3.2.4 安全分析
3.2.5 協(xié)議比較
3.3 托管模式下強安全基于身份的認證密鑰協(xié)商協(xié)議的構造
3.3.1 引言
3.3.2 安全模型
3.3.3 一個新的可托管基于身份的認證密鑰協(xié)商協(xié)議
3.3.4 安全分析
3.3.5 兩個計算上更高效的變體
3.3.6 協(xié)議比較
小結
第4章 無雙線性配對的基于身份的認證密鑰協(xié)商協(xié)議研究
4.1 一個適用于SIP的高效基于身份的認證密鑰協(xié)商機制
4.1.1 引言
4.1.2 SIP的HTTP摘要認證過程
4.1.3 無證書密碼系統(tǒng)的基本設計思想
4.1.4 一個依賴于橢圓曲線離散對數(shù)問題的基于身份的簽名方案
4.1.5 一個無雙線性配對的基于身份的認證密鑰協(xié)商協(xié)議
4.1.6 所提出的SIP認證密鑰協(xié)商機制
4.1.7 討論
4.2 強安全無雙線性配對的基于身份的認證密鑰協(xié)商協(xié)議
4.2.1 引言
4.2.2 安全模型
4.2.3 一個無雙線性配對基于身份的認證密鑰協(xié)商協(xié)議
4.2.4 一個安全性基于GDH假設的更高效的變體
4.2.5 討論
小結
第5章 強安全無證書的認證密鑰協(xié)商協(xié)議研究
5.1 引言
5.2 安全模型
5.3 一個無證書的兩方認證密鑰協(xié)商協(xié)議
5.4 安全分析
5.5 相關協(xié)議的比較
小結
第6章 格上抗量子認證密鑰協(xié)商協(xié)議研究
6.1 研究背景
6.2 基本原理
6.2.1 符號表示
6.2.2 格的定義及其上基本計算問題
6.2.3 格上現(xiàn)代計算問題
6.3 基于格密鑰協(xié)商協(xié)議的分析和討論
6.3.1 主要相關工作概述
6.3.2 基于格認證密鑰協(xié)商協(xié)議基本設計模式概述和討論
6.4 總結與展望
6.4.1 總結
6.4.2 展望
小結
參考文獻