本书介绍了基于认知逻辑的密码协议分析。从密码协议的逻辑分析讲起，介绍密码学的基础知识、认知逻辑基础理论,到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议，以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性。本书内容的编排由浅入深层层展开，适合各层次的读者参阅，可为密码协议分析和网络安全提供一定的理论

本书介绍自由空间量子密钥分发的概念和相关基础理论，描述自由空间信道的特性，讲解模拟量子信号在自由空间中传播的蒙特卡罗方法，详细阐述次谐波大气湍流相位屏模拟方法及谐波次数的选取标准，深入讨论电离层E层大气效应、天气条件、海水等因素对量子密钥分发系统性能的影响，介绍利用相敏放大器和相位非敏感放大器对连续变量量子密钥分发系统

随着信息时代的发展，量子计算机逐步展现出对传统公钥密码系统的破坏性，使得依赖传统公钥密码系统的网络安全与数据信息无法得到可靠保障，迫切要求对网络及信息安全系统进行革新。后量子密码与其芯片技术是未来应对量子计算机攻击威胁的关键力量。本书首先介绍了后量子密码的研究背景、算法理论以及当前的研究现状，其次由后量子密码芯片面临的

本书是一本关于密码学基础的教材，系统介绍了密码学的基本原理、基本算法，并对密码的安全性进行了相应的分析，主要内容包括绪论、基础知识、古典密码、分组密码、序列密码、Hash函数、公钥密码、数字签名与身份认证、密钥管理等。本书主要面向信息安全、网络空间安全、网络工程、计算机科学与技术、通信工程等专业的本科高年级学生，也可供

AdiShamir在1984年首次提出标识密码的概念.21世纪初,伴随着一系列重要突破,标识密码学进入快速发展时期.在过去20年间,标识密码学形成众多理论研究结果,一些标识密码算法已在业界得到广泛应用.本书比较系统地介绍标识密码学领域的一些理论、模型、算法等,并结合应用实践较详细地描述与工程应用相关的一些方法、实现和标

密码学是研究编制密码和破译密码的技术科学，是信息安全领域的基础方向之一。密码算法能提供保密性、认证性等功能，是保障数据安全与隐私保护的核心技术。密码算法的设计往往需要基于具有特殊结构的代数系统，多线性映射就是这样的一个工具。基于多线性映射可以构造性能优良的密码算法，可以实现传统工具难以实现的密码体制，近年来受到了密码学

本书在保持上一版特色的基础上，结合近年来作者所在单位实施国家一流本科专业建设卓越工程师教育培养计划新工科建设等成果和多年来作者在教学科研方面的实践经验，按照育人为本、崇尚应用一切为了学生的教育教学理念和夯实基础、强化实践、注重创新、突出特色的人才培养思路，遵循行业指导、校企合作、分类实施、形式多样的原则，以工程技术为主

本书是针对TPM实战的编程实用书籍，将常用的TPM应用场景编写为C++与C#双语示例，配上详细代码说明，以浅显易懂、循序渐进的方式展示，在阅读后可以立即运用到项目开发之中。全书共19章：第1章和第2章介绍常用的安全基础概念，包括HASH算法、HMAC算法、对称密钥、非对称密钥、数字签名、数字信封、PKI等内容；第3~1

随着大数据、云计算、人工智能的发展，功能型密码在实际应用中的需求越来越大，日益成为主流信息系统的安全基石和重要支撑。本书全面、系统而详细地介绍了现有功能型加密算法的构造和安全性分析，有助于读者设计安全的密码算法。全书共分为8章，内容包括传统公钥加密、标识加密、属性基加密、门限加密、广播加密、代理重加密、可搜索加密、同态

本书分为五篇共十四章。第一篇，基础知识，包含两章：第一章，信息安全概论。第二章，密码学的基本概念。第二篇，对称密码，包含三章：第三章，分组密码。第四章，序列密码。第五章，HASH函数。第三篇，公开密钥密码，包含三章：第六章，公开密钥密码体制。第七章，数字签名。第八章，抗量子计算密码。第四篇，密码分析，包含一章，第九章密