可證明安全算法與協定

內容介紹

《可證明安全算法與協定》內容簡介：近年來，可證明安全算法與協定是信息安全、密碼學等研究領域的重要問題之一。《可證明安全算法與協定》以作者及其課題組在該領域多年來的研究成果為主體，結合國內外學者的代表性成果，系統論述了可證明安全密碼算法與協定的設計與分析，詳細介紹了該研究方向的發展情況，並提出一些與之緊密相關的新研究課題。
《可證明安全算法與協定》分四部分，共17章。第一部分（第1～3章）系統介紹了密碼算法和協定設計中的基礎知識；第二部分（第4～6章）論述了可證明安全的加密體制；第三部分（第7～12章）對數字簽名進行了深入研究；第四部分（第13～17章）闡述了可證明安全的密鑰協商協定及其套用。

作品目錄

《數學與現代科學技術叢書》序前言 第一部分基礎知識第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.3Hash函式2.4偽隨機函式 2.4.1偽隨機序列生成器 2.4.2偽隨機函式2.5訊息認證碼 2.5.1對MAC的要求 2.5.2基於DES的MAC2.6零知識證明參考文獻第3章可證明安全理論基礎3.1基本思想3.2困難問題假設3.3安全模型 3.3.1數字簽名方案的安全模型 3.3.2公鑰加密方案的安全模型3.4RO模型和標準模型方法論參考文獻 第二部分加密體制第4章對稱加密第5章公鑰密碼第6章可證明安全加密體制 第三部分數字簽名第7章可證明安全數字簽名方案第8章盲簽名第9章代理簽名第10章多重簽名與聚合簽名第11章指定驗證者簽名第12章簽密 第四部分密鑰協商第13章密鑰協商概述第14章基於PKI的密鑰協商協定第15章基於身份的密鑰協商協定第16章基於口令的密鑰協商協定第17章密鑰協商協定的套用《數學與現代科學技術叢書》已出版書目