可證明安全算法與協議（簡體書）

《數學與現代科學技術叢書》序 前言 第一部分 基礎知識 第1章 數學基礎 1.1 數論 1.1.1 同余及剩余類 1.1.2 中國剩余定理 1.1.3 歐拉函數φ(n) 1.1.4 二次剩余 1.1.5 素性檢測 1.2 復雜性理論 1.2.1 計算復雜性與時間復雜性 1.2.2 復雜性分類 1.2.3 隨機算法 1.3 信息論 參考文獻 第2章 密碼學基礎 2.1 密碼體制 2.1.1 對稱加密體制 2.1.2 公鑰加密體制 2.1.3 兩者的比較 2.2 數字簽名 2.2.1 基本概念及原理 2.2.2 經典算法 2.3 Hash函數 2.4 偽隨機函數 2.4.1 偽隨機序列生成器 2.4.2 偽隨機函數 2.5 消息認證碼 2.5.1 對MAC的要求 2.5.2 基于DES的MAC 2.6 零知識證明 參考文獻 第3章 可證明安全理論基礎 3.1 基本思想 3.2 困難問題假設 3.3 安全模型 3.3.1 數字簽名方案的安全模型 3.3.2 公鑰加密方案的安全模型 3.4 RO模型和標準模型方法論 參考文獻 第二部分 加密體制 第4章 對稱加密 第5章 公鑰密碼 第6章 可證明安全加密體制 第三部分 數字簽名 第7章 可證明安全數字簽名方案 第8章 盲簽名 第9章 代理簽名 第10章 多重簽名與聚合簽名 第11章 指定驗證者簽名 第12章 簽密 第四部分 密鑰協商 第13章 密鑰協商概述 第14章 基于PKI的密鑰協商協議 第15章 基于身份的密鑰協商協議 第16章 基于口令的密鑰協商協議 第17章 密鑰協商協議的應用 《數學與現代科學技術叢書》已出版書目