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