可证明安全算法与协议

《数学与现代科学技术丛书》序

前言

第一部分 基础知识

第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章 密钥协商协议的应用

《数学与现代科学技术丛书》已出版书目

张华、温巧燕等著的这本《可证明安全算法与协议》共分四部分。第一部分重点论述了可证明安全理论以及密码算法和协议的基础理论。第二部分对加密体制进行了研究，除了介绍经典的加密算法外，重点介绍了典型的可证明安全加密体制。第三部分重点介绍了一系列可证明安全的数字签名及具有特殊功能的数字签名方案。第四部分重点介绍了可证明安全的密钥协商协议及其应用。作为专著，本书集中论述了课题组及国内外的相关成果，对密码学基础知识只做简单的介绍，感兴趣的读者可参考其他相关书籍。近年来，可证明安全算法与协议是信息安全、密码学等研究领域的重要问题之一。《可证明安全算法与协议》以作者张华、温巧燕及其课题组在该领域多年来的研究成果为主体，结合国内外学者的代表性成果，系统论述了可证明安全密码算法与协议的设计与分析，详细介绍了该研究方向的发展情况，并提出一些与之紧密相关的新研究课题。 全书分四部分，共17章。第一部分(第1～3章)系统介绍了密码算法和协议设计中的基础知识；第二部分(第4～6章)论述了可证明安全的加密体制；第三部分(第7～12章)对数字签名进行了深入研究；第四部分(第13～17章)阐述了可证明安全的密钥协商协议及其应用。 《可证明安全算法与协议》既可作为对可证明安全算法与协议感兴趣的读者的入门教材，也可作为可证明安全理论研究工作者的参考用书，同时适合密码学、信息安全、数学、计算机及相关学科的高年级本科生、研究生、教师和科研人员阅读参考。