《信息安全系列丛书·密码协议：基于可信任新鲜性的安全性分析》主要介绍如何利用系统工程思想和可信任新鲜性的方法，分析和设计密码协议。作者基于可信任的新鲜性标识符概念，提出了一个新颖的新鲜性原则。该原则指出了一种有效的、易用的密码协议安全性分析方法。使用这种分析方法，可以有效检验协议在实际应用中能否满足安全需求。此外，书中

密码学是一门非常有趣的学科，它与计算机科学、数学以及电子工程都存在交叉。随着密码学日新月异地取得发展，人们现在已经很难跟上它的发展步伐。密码学领域的理论基础在过去的25年里已经得到加强和巩固；现在，人们对安全的定义和证明结构安全的方法有了更深入的认识。同时，我们也见证了应用密码学的快速发展：旧算法不断地被破解和抛弃，同

《普通高等教育"十二五"规划教材:密码学教程》全面讲解了密码学的基本知识，并对密码学近几年来的最新研究成果作了介绍。特别是在序列密码体制、分组密码体制、公开密钥密码体制和密码学新进展的章节中，不仅介绍了经典的密码体制和算法，而且阐述了部分算法的安全性分析，并进一步介绍了网络安全协议及近几年密码发展的新成果，如量子密码、

暂无关于Cryptographic Protocol: Security analysis based on trusted freshness密码协议:基于可信任新鲜性的安全性分析 (英文版)的更多介绍。

《普通高校信息安全系列教材：现代密码学》内容包括密码学概述、古典密码体制、信息理论安全、序列密码、分组密码、hash函数与消息鉴别、公钥加密（基础）、公钥加密（扩展）、数字签名、实体认证和身份识别、密钥管理。《现代密码学》特点是注重介绍知识的内在逻辑性，展现密码学方案设计的内在规律和基本原理，注重使用比较和类比的方式探

《基于身份的密码学》介绍了基于身份密码研究的主要分支。包括：基于身份签名算法，基于身份加密算法，基于身份的分层加密与签名算法，基于无证书的签名及加密算法，第三方权力受约束的基于身份加密算法以及基于身份的广播加密算法等。《基于身份的密码学》不仅包括一些典型的基于身份密码算法，同时也介绍了该领域国内外的最新进展。在内容的选

《公钥密码学：设计原理与可证安全》重点介绍公钥密码的可证安全理论和旁道攻击技术，内容包括公钥密码基础理论、公钥密码的可证安全理论和旁道攻击三个部分。第一部分为公钥密码学基础理论，介绍了公钥密码体制的提出和特点、公钥密码与杂凑函数、公钥基础设施以及基本体制；第二部分为公钥密码体制的可证安全理论，重点论述加密体制的可证安全

本书由信息工程大学密码学课程组在长期教学过程中所使用的内部讲义完善而成，定位于介绍密码学的基本原理和基本方法，通过该书的学习，读者可以系统地掌握密码学的基本原理、基本方法和基本技术。全书共分十章和一个附录。第一章介绍了密码学的概念和基本编码原理，第二章介绍了Shannon保密理论和计算复杂性理论，第三章和第四章分别介绍

基础的密码算法、基本的应用技术和必要的数学基础知识。密码算法部分包括：对称分组密码算法、非对称密码算法、散列算法和数字签名算法；基本应用技术包括：密钥管理的基本技术、基本认证技术和在防伪识别中的简单应用技术；数学基础知识部分包括：初等数论、代数学基础、有限域和椭圆曲线基础、计算复杂性理论基础。 《应用密码学基础》不同

暂无关于量子保密通信协议的设计与分析的更多介绍。