本书的主要内容是基于作者在密码函数研究领域所发表的学术论文撰写而成的，主要介绍了在单输出密码函数、多输出密码函数以及密码函数的应用等三个方面的原创性研究成果。本书的第1章介绍了与密码函数相关的基础知识；第2章和第3章侧重介绍具有优良密码学性质的单输出和多输出布尔函数的构造，提出一系列新型密码函数构造方法；第4章探索了多输出密码函数在正交序列集设计及真随机数生成器的校正器设计等方面的应用。各章后的评注部分是对每章内容的扩展。各章后配有习题，供读者进一步思考和研究。

本书真实系统地介绍了密码学及该领域全面的参考文献。全书共分四个部分，首先定义了密码学的多个术语，介绍了密码学的发展及背景，描述了密码学从简单到复杂的各种协议，详细讨论了密码技术，并在此基础上列举了如DES、IDEA、RSA、DSA等10多个算法以及多个应用实例，并提供了算法的源代代码清单。

公钥密码学是使用一对公钥和私钥的密码学。公钥密码学包括公钥加密算法和数字签名算法。公钥密码学要实现的功能有两个：一个是保密，发送者需要是用接收者的公钥去加密信息，接收者就用自己的私钥去解密信息。另外一个功能就是认证，发出信息的人用私钥去进行数字签名来签署信息，这样任何人拿到公钥之后都可以去确认信息是不是由私钥持有人发出的。所以，公钥密码学有两个应用，一个是加密通信，另外一个是数字签名。本书详细介绍数字签名、公钥加密机制、基于身份的加密机制、基于属性的加密机制和函数加密等公钥加密算法。

安全多方计算是密码学重要研究领域，作为密码协议的一般性理论研究，取得了非常丰富、深刻的研究成果，是密码学基础理论的重要组成部分，近年来在实用化方面也取得显著成果。本书旨在对这一研究领域进行梳理，形成一个完整系统的总结，展现其基本思想与方法。本书以安全多方计算的起源和里程碑式的成果为起点，介绍了Yao混淆电路、GMW、BGW等基础协议，严格论述了安全模型及形式化证明方法，并对实用化技术做了详尽分析与介绍。

分布式标识与数字身份技术是数字身份的最新解决方案。近年来，经过多方努力，已取得了理论、模型、规范、研发等方面的众多成果。本书主要讲述自主主权身份模型（SSI）和分布式数字身份技术（DID）的发展历程、理论、模型、技术特点、应用场景及未来前景，比较详细地介绍了分布式数字身份技术的规范、特点、优势和挑战，列举了主要研究机构及其公开发布的部分研究成果，并且提供了3个主流解决方案以帮助读者加深理解，为研发工作提供参考，还通过应用场景分析了自主主权身份体系对多个行业或领域的影响，最后展望其未来的应用前景。

本书全面介绍可证明安全性的发展历史、基础理论和实用算法，内容分为6章，第1章介绍可证明安全性涉及的数学知识和基本工具，第2章介绍语义安全的公钥密码体制的定义，第3章介绍语义安全的公钥密码体制，第4章介绍基于身份的密码体制，第5章介绍基于属性的密码体制，第6章介绍抗密钥泄露的公钥加密系统。 本书可作为高等学校相关专业本科生和研究生的教材，也可作为通信工程师和计算机网络工程师的参考读物。

本书介绍了量子算法与量子密码的基础知识，对具有重要密码学应用的Shor算法、Grover算法等典型算法进行具体分析，帮助读者了解这两类量子算法在整数分解、离散对数、SAT、代数方程组等密码数学问题中的具体应用，在此基础上介绍具有理论可证明安全性的密码协议——量子密钥分发协议。本书可作为密码学、信息安全、计算机等专业本科生、研究生的教材，也可作为对量子算法与量子密码感兴趣的计算机学者、数学学者及物理学者的参考书。

密钥管理是深空DTN安全研究不可或缺的内容，为身份认证、安全接入、安全信道建立和密钥协商等安全协议提供技术基础。由于地面无线网络密钥管理建立在可靠端到端连接、较短延时和同步性等假设基础上，因此将地面无线网络的密钥管理应用于深空网络具有不可避免的先天缺陷。从这一点出发，研究适合深空DTN的密钥管理具有十分重要的理论和实践意义。本书以密钥学基础、安全协议和可证明性安全为理论基础，从加密解密算法、密钥协商协议、单播/组播密钥管理协议和身份认证协议4个方面展开深入研究。 本书适合相关科学工作者和工程技术

本书主要介绍身份基类哈希证明系统的构造及其在抗泄露密码机制方面的应用。全书共7章，第1章介绍身份基类哈希证明系统的研究动机及目标、研究现状与进展等，第2章介绍相关的数学基础及密码技术，第3章介绍身份基哈希证明系统及其构造方法，第4章介绍可更新身份基哈希证明系统及其构造方法，第5章介绍双封装密钥身份基哈希证明系统及其构造方法，第6章介绍基于最小假设构造抗泄露身份基加密机制的通用方法，第7章介绍身份基加密机制挑战后泄露容忍性的实现方法。 本书可作为网络空间安全、密码科学与技术等专业高年级本科生和研

本书介绍了基于认知逻辑的密码协议分析。从密码协议的逻辑分析讲起，介绍密码学的基础知识、认知逻辑基础理论,到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议，以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性。本书内容的编排由浅入深层层展开，适合各层次的读者参阅，可为密码协议分析和网络安全提供一定的理论与技术支撑。本书可供相关专业的教师、科研人员或工程技术人员参考，也可供高等院校计算机科学与技术、网络空间安全、通信工程以及逻辑学等专业高年级本科生和研究生学习使用。