安全協(xié)議

第1章 安全協(xié)議概述
1.1 安全協(xié)議的概念
1.1.1 協(xié)議、算法與安全協(xié)議
1.1.2 協(xié)議運行環(huán)境中的角色
1.2 常用的安全協(xié)議
1.3 安全協(xié)議的安全性質(zhì)
1.4 對安全協(xié)議的攻擊
1.4.1 竊聽
1.4.2 篡改
1.4.3 重放
1.4.4 預(yù)重放
1.4.5 反射
1.4.6 拒絕服務(wù)
1.4.7 類型攻擊
1.4.8 密碼分析
1.4.9 證書操縱
1.4.10 協(xié)議交互
1.5 安全協(xié)議的缺陷
1.6 安全協(xié)議的三大理論分析方法
1.6.1 安全多方計算
1.6.2 安全協(xié)議的形式化分析方法
1.6.3 安全協(xié)議的可證明安全性理論
習題1
第2章 安全協(xié)議的密碼學基礎(chǔ)
2.1 密碼學的基本概念
2.2 數(shù)論中的一些難題
2.3 隨機數(shù)
2.4 分組密碼
2.5 公開密鑰密碼
2.5.1 公開密鑰密碼的基本概念
2.5.2 ：RSA體制
2.5.3 Rabin體制
2.6 散列函數(shù)
2.7 消息認證
2.8 數(shù)字簽名
2.8.1 數(shù)字簽名的基本概念
2.8.2 RSA簽名
2.8.3 ：RSA簽名標準PSS
2.8.4 數(shù)字簽名標準DSS
2.8.5 一般的離散對數(shù)簽名體制
2.8.6 ElGamal數(shù)字簽名
2.8.7 Schnorr簽名體制
2.8.8 Okamoto簽名體制
2.8.9 基于橢圓曲線的數(shù)字簽名算法ECDSA
2.9 基于身份的公鑰密碼學
2.9.1 基于身份的密碼系統(tǒng)與基于PKI的密碼系統(tǒng)的比較
2.9.2 基于身份的加密方案
2.9.3 基于身份的簽名方案
習題2
第3章 基本的安全協(xié)議
3.1 秘密分割
3.2 秘密共享
3.3 閾下信道
3.3.1 閾下信道的概念
3.3.2 基于ElGareal數(shù)字簽名的閾下信道方案
3.3.3 基于RSA數(shù)字簽名的閾下信道方案
3.4 比特承諾
3.4.1 使用對稱密碼算法的比特承諾
3.4.2 使用單向函數(shù)的比特承諾
3.4.3 使用偽隨機序列發(fā)生器的比特承諾
3.5 公平的硬幣拋擲
3.5.1 單向函數(shù)拋幣協(xié)議
3.5.2 公開密鑰密碼拋幣協(xié)議
3.6 智力撲克
3.6.1 基本的智力撲克游戲
3.6.2 三方智力撲克
3.7 不經(jīng)意傳輸
習題3
第4章 認證與密鑰建立協(xié)議
4.1 認證與密鑰建立簡介
4.1.1 創(chuàng)建密鑰建立協(xié)議
4.1.2 協(xié)議結(jié)構(gòu)
4.1.3 協(xié)議目標
4.1.4 新鮮性
4.2 使用共享密鑰密碼的協(xié)議
4.2.1 實體認證協(xié)議
4.2.2 無服務(wù)器密鑰建立
4.2.3 基于服務(wù)器的密鑰建立
4.2.4 使用多服務(wù)器的密鑰建立
4.3 使用公鑰密碼的認證與密鑰傳輸
4.3.1 實體認證協(xié)議
4.3.2 密鑰傳輸協(xié)議
4.4 密鑰協(xié)商協(xié)議
4.4.1 Diffie-Hellman密鑰協(xié)商
4.4.2 有基本消息格式的基于DH交換的協(xié)議
4.4.3 增強消息格式的DH交換協(xié)議
4.5 可證明安全的認證協(xié)議
4.6 基于口令的協(xié)議
4.6.1 口令協(xié)議概述
4.6.2 使用Diffie-Hellman進行加密密鑰交換
4.6.3 強化的EKE
4.7 具有隱私保護的認證密鑰交換協(xié)議
4.7.1 可否認的認證密鑰交換協(xié)議
4.7.2 通信匿名的認證密鑰交換協(xié)議
4.7.3 用戶匿名的認證密鑰交換協(xié)議
4.8 會議協(xié)議
4.9 RFID認證協(xié)議
4.9.1 RFID系統(tǒng)的基本構(gòu)成
4.9.2 RFID系統(tǒng)的安全需求
4.9.3 物理安全機制
4.9.4 基于密碼技術(shù)的安全機制
4.10 無線網(wǎng)絡(luò)認證協(xié)議
4.10.1 WLAN的網(wǎng)絡(luò)結(jié)構(gòu)
4.10.2 無線局域網(wǎng)的安全威脅
4.10.3 IEEE802.1 1的認證方式
4.10.4 IEEE802.1 1加密機制
4.10.5 IEEE802.1 x的認證機制
4.10.6 IEEE802.1 x協(xié)議的特點
4.10.7 WAPI協(xié)議
習題4
第5章 零知識證明
5.1 零知識證明的概念
5.1.1 零知識證明的簡單模型
5.1.2 交互式零知識證明
5.1.3 非交互式零知識證明
5.2 零知識證明的例子
5.2.1 平方根問題的零知識
5.2.2 離散對數(shù)問題的零知識證明
5.3 知識簽名
5.4 身份鑒別方案
5.4.1 身份的零知識證明
5.4.2 簡化的Feige-Fiat-Shamir身份鑒別方案
5.4.3 Feige-Fiat-Shamir身份鑒別方案
5.4.4 Guillo-QLfisquater身份鑒別方案
5.4.5 Schnorr身份鑒別方案
5.5 NP語言的零知識證明
5.5.1 NP完全問題
5.5.2 NP與零知識證明
習題5
第6章 選擇性泄露協(xié)議
第7章 數(shù)字簽名變種
第8章 非否認協(xié)議
第9章 公平交換協(xié)議
第10章 安全電子商務(wù)協(xié)議
第11章 安全多方計算
第12章 安全協(xié)議的形式化分析
參考文獻