安全认证协议应用十分广泛，从使用U盾登录银行账户、网上购物，到安全地收发电子邮件、远程办公，以及今天迅猛发展的金融科技，这些已逐渐被人们熟悉的服务背后，都离不开安全认证协议的支持常用的基础安全认证协议主要有零知识证明、数字签名、认证密钥交换和口令认证等。
本书重点围绕常用的基础安全认证协议、抗量子安全认证协议及其可证明安全性理论，面向基础问题和量子计算时代，结合安全认证协议的标准化和实用化发展趋势，介绍了作者20多年来在安全认证协议方面的原创性成果，主要包括零知识证明、数字签名、认证密钥交换和口令认证等理论与方法。同时，为了便于初学者阅读，本书专门概述了一些相关的基本概念和基础知识。
本书可供从事网络空间安全、信息安全、密码学、计算机、通信、数学等专业的科研人员、硕士和博士研究生参考，也可供相关专业的高年级本科生参考。

冯登国，中国科学院院士，网络与信息安全专家。在Theor.Comput.Sci、J.Cryptology、IEEE IT等国际重要期刊和会议上发表论文200多篇，授权国家发明专利近百项，主持研制国际和国家标准20多项，主持过国家杰出青年科学基金、国家973计划、国家重点研发计划等多项项目，出版有Trusted Computing Principles and Applica-tions（De Gruyter出版社）、《大数据安全与隐私保护》《网络空间安全概论》等多部著作，荣获国家科技进步奖一等奖、国家技术发明奖二等奖等多项奖励。担任过国家863计划信息安全技术主题专家组组长、国家信息化专家咨询委员会委员、国家重点实验室主任等。

“密码理论与技术丛书”序
前言
第1章 绪论
1.1 密码算法概述
1.1.1 密码算法分类
1.1.2 对称密码算法
1.1.3 公钥密码算法
1.1.4 Hash函数与MAC
1.1.5 密钥管理
1.2 安全协议概述
1.2.1 安全协议的分类
1.2.2 安全协议的系统模型
1.2.3 安全协议的安全属性
1.2.4 安全协议的设计准则
1.2.5 安全协议发展的驱动力
1.2.6 安全协议具体实例
1.3 可证明安全性理论与方法
1.3.1 可证明安全性的基本思想
1.3.2 随机谕示器模型方法论
1.3.3 标准模型中安全的公钥密码
1.3.4 面向密钥交换协议的安全模型
1.4 本书主要内容和安排
1.5 注记
参考文献
第2章 零知识证明
2.1 基本概念
2.1.1 零知识证明/论证系统
2.1.2 并发环境中零知识论证系统
2.1.3 重置环境中零知识论证系统
2.1.4 BPK模型中可重置零知识、并发零知识及可靠性
2.2 实例依赖密码学原语
2.2.1 实例依赖的可验证随机函数
2.2.2 公钥实例依赖的零知识论证系统
2.2.3 实例依赖的证据不可区分论证系统
2.3 双重可重置猜想的证明
2.3.1 公钥实例依赖的完美零知识论证系统
2.3.2 重置可靠的可重置零知识论证系统
2.3.3 协议2.3.3的重置可靠性分析
2.3.4 协议2.3.3的可重置零知识性：模拟器构造
2.3.5 协议2.3.3的可重置零知识性：模拟器安全性分析
2.3.6 协议2.3.3的可重置零知识性：模拟器的运行时间分析
2.4 BPK模型中可重置零知识
2.4.1 Σ-难题协议
2.4.2 BPK模型中重置可靠的可重置零知识论证系统的构造
2.4.3 协议2.4.1的重置可靠性
2.4.4 协议2.4.1的可重置零知识性
2.5 注记
参考文献
第3章 数字签名
3.1 数字签名概述
3.1.1 数字签名的类型
3.1.2 数字签名的安全模型
3.1.3 后量子数字签名
3.2 无证书数字签名
3.2.1 无证书数字签名的安全模型
3.2.2 基于双线性对的无证书数字签名
3.2.3 ZWXF无证书数字签名的安全性证明
3.3 直接匿名证明
3.3.1 CF方案
3.3.2 CF方案的安全性证明
3.3.3 CF方案实现考虑
3.4 环签名和代理签名
3.4.1 环签名
3.4.2 代理签名
3.5 格上数字签名
3.5.1 格的基本知识
3.5.2 格上可编程Hash函数
3.5.3 Split-SIS问题
3.5.4 格上数字签名的通用构造及实例化
3.5.5 格上群签名
3.6 注记
参考文献
第4章 认证密钥交换
4.1 认证密钥交换概述
4.1.1 中间人攻击
4.1.2 认证密钥交换的分类
4.1.3 认证密钥交换的安全模型
4.1.4 隐式认证密钥交换和HMQV协议
4.2 公平认证密钥交换
4.2.1 公平认证密钥交换的基本思想
4.2.2 公平认证密钥交换的安全模型
4.2.3 公平认证密钥交换具体实例
4.3 匿名认证密钥交换
4.3.1 匿名认证密钥交换的安全模型
4.3.2 匿名认证密钥交换具体实例
4.3.3 匿名认证密钥交换的安全性证明
4.4 基于环上LWE问题的认证密钥交换
4.4.1 两轮认证密钥交换的安全模型
4.4.2 基于环上LWE问题的认证密钥交换
4.5 基于LWE问题的口令认证密钥交换
4.5.1 两轮口令认证密钥交换的安全模型
4.5.2 基于LWE问题的口令认证密钥交换
4.6 TLS 1.3多重握手协议安全性分析
4.6.1 TLS 1.3 draft 10简介
4.6.2 多重握手密钥交换的安全模型
4.6.3 TLS 1.3多重握手协议的安全性分析
4.7 注记
参考文献
第5章 口令认证
5.1 口令认证概述
5.1.1 两方口令认证
5.1.2 三方口令认证
5.1.3 跨域口令认证
5.1.4 匿名口令认证
5.2 基于口令的安全协议的模块化设计与分析理论
5.2.1 基于口令的安全协议的理论基础——弱伪随机性理论
5.2.2 基于口令的安全协议的模块化设计与分析理论
5.2.3 基于口令的会话密钥分配协议
5.2.4 口令更换协议的模块化设计与分析
5.3 跨域口令认证
5.3.1 跨域口令认证的安全性分析
5.3.2 跨域口令认证的通用构造
5.4 匿名口令认证
5.5 注记
参考文献
索引