text: 可证明安全算法与协议
  《可证明安全算法与协议》是2012年科学出版社出版的一本图书，作者是张华//温巧燕//金正平。
  内容介绍
  《可证明安全算法与协议》内容简介：近年来，可证明安全算法与协议是信息安全、密码学等研究领域的重要问题之一。《可证明安全算法与协议》以作者及其课题组在该领域多年来的研究成果为主体，结合国内外学者的代表性成果，系统论述了可证明安全密码算法与协议的设计与分析，详细介绍了该研究方向的发展情况，并提出一些与之紧密相关的新研究课题。
  《可证明安全算法与协议》分四部分，共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.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章 密钥协商协议的应用《
  数学与现代科学技术丛书》已出版书目[1-2]