安全協(xié)議：理論與實戰(zhàn)

第1篇 緒論
第1章 密碼算法概述
1.1 密碼算法的分類
1.2 對稱密碼算法
1.3 公鑰密碼算法
1.4 hash函數(shù)與mac算法
1.5 密鑰管理簡介
1.6 小結(jié)
參考文獻
第2章 安全協(xié)議概述
2.1 安全協(xié)議的分類
2.2 安全協(xié)議系統(tǒng)模型
2.3 安全協(xié)議的安全屬性
2.4 安全協(xié)議的設計準則
2.5 安全協(xié)議的缺陷分類
2.6 消息重放攻擊及其對策
2.7 安全協(xié)議基礎理論與方法概述
2.8 小結(jié)
參考文獻
第2篇 安全協(xié)議基礎理論與方法
第3章 可證明安全性理論與方法
3.1 基本概念與計算假設
3.2 隨機預言模型方法論
3.3 標準模型下安全的數(shù)字簽名和公鑰加密方案
3.4 面向會話密鑰分配協(xié)議的安全模型及其應用
3.5 基于口令的安全協(xié)議的模塊化設計與分析
3.6 小結(jié)
參考文獻
第4章 形式化分析理論與方法
4.1 ban邏輯
4.2 kailar邏輯
4.3 歸納定理證明方法
4.4 應用pi演算方法
4.5 形式化方法的計算可靠性
4.6 小結(jié)
參考文獻
第5章 零知識證明理論與方法
5.1 交互零知識證明理論與方法
5.2 非交互零知識證明理論
5.3 sigma協(xié)議
5.4 常數(shù)輪零知識協(xié)議
5.5 小結(jié)
參考文獻
第6章 安全多方計算理論與方法
6.1 安全兩方計算
6.2 兩方保密計算功能函數(shù)
6.3 安全兩方計算的基本定理
6.4 安全多方計算
6.5 小結(jié)
參考文獻
第3篇 基礎安全協(xié)議
第7章 秘密共享協(xié)議
7.1 秘密共享的基本思想
7.2 基本的秘密共享協(xié)議
7.3 一般存取結(jié)構(gòu)上的秘密共享協(xié)議
7.4 黑箱秘密共享協(xié)議
7.5 無限取值空間上的秘密共享協(xié)議
7.6 在線秘密共享協(xié)議
7.7 可驗證秘密共享協(xié)議
7.8 無可信中心的秘密共享協(xié)議
7.9 前攝秘密共享協(xié)議
7.10 小結(jié)
參考文獻
第8章 數(shù)字簽名協(xié)議
8.1 潛信道簽名協(xié)議
8.2 不可否認的數(shù)字簽名協(xié)議
8.3 fail-stop數(shù)字簽名協(xié)議
8.4 群數(shù)字簽名協(xié)議
8.5 盲數(shù)字簽名協(xié)議
8.6 門限數(shù)字簽名協(xié)議
8.7 存在特權(quán)集的門限數(shù)字簽名協(xié)議
8.8 可驗證的簽名共享協(xié)議
8.9 門限簽密協(xié)議
8.10 指定驗證方的簽名協(xié)議
8.11 環(huán)簽名協(xié)議
8.12 并發(fā)簽名協(xié)議
8.13 強指定驗證方的簽名協(xié)議
8.14 小結(jié)
參考文獻
第9章 身份識別協(xié)議
第10章 密鑰交換協(xié)議
第11章 健忘傳輸協(xié)議
第12章 公平交換協(xié)議
第4篇 應用安全協(xié)議
第13章 典型的分布式認證協(xié)議和網(wǎng)絡安全通信協(xié)議
第14章 入侵容忍ca協(xié)議
第15章 基于身份的pki協(xié)議
第16章 可信計算平臺遠程證明協(xié)議
參考文獻