本书介绍了基于认知逻辑的密码协议分析。从密码协议的逻辑分析讲起,介绍密码学的基础知识、认知逻辑基础理论,到用认知中的行为、行为模型以及时态认知逻辑分析具体的密码协议,以具体实例阐述了用动态认知逻辑的理论来分析密码协议的安全性。本书内容的编排由浅入深层层展开,适合各层次的读者参阅,可为密码协议分析和网络安全提供一定的理论
工程信号的处理过程犹如外科医生对病人施行的一次手术,或者说是庖丁的一次解牛的过程。在对信号进行分析、解剖的过程中,信号处理方法的地位与作用极为关键,往往决定着信号处理的效果,从信号中获取信息的量和程度,以及信号处理的效率,从而也直接决定了应用该信号处理方法所能达成的目的与目标。模式滤波法可以实现单通道各种混叠声振信号的
本书共8章,内容包括绪论、数字通信系统、通信网络技术、大数据和云计算技术、扩频抗干扰通信系统、微波与卫星通信系统、移动通信系统和光通信系统。本书内容新颖,反映了当今最新的通信系统的发展和应用情况;语言简练、通俗易懂,突出概念描述,避免烦琐的公式推导;内容系统全面,材料充实丰富。本书可作为通信工程、计算机通信、信息
本书介绍自由空间量子密钥分发的概念和相关基础理论,描述自由空间信道的特性,讲解模拟量子信号在自由空间中传播的蒙特卡罗方法,详细阐述次谐波大气湍流相位屏模拟方法及谐波次数的选取标准,深入讨论电离层E层大气效应、天气条件、海水等因素对量子密钥分发系统性能的影响,介绍利用相敏放大器和相位非敏感放大器对连续变量量子密钥分发系统
本书内容分为三部分:第一部分为数字图像处理基础,包括第1章到第3章的内容,涵盖绪论、数字图像处理基础及Python图像处理基础,介绍数字图像处理技术的发展现状和基础知识;第二部分为数字图像处理技术,包括第4章到第8章的内容,涵盖图像变换、图像增强、图像形态学处理、图像分割及图像压缩,介绍数字图像处理技术的核心内容;第三
本报告秉持严谨细致、客观理性和科学专业的精神,探索配电通信技术的新模式、新方法、新途径,探讨配电通信技术需求、现状、体系、协议、标准、类型、研究、应用、趋势等内容。整合电力行业专家资源,以基层需求为导向,以创新技术为驱动,以成果应用为立足点,深入讲解配电通信技术的实现原理和最新研究进展,以支持配电网建设,为电力行业上下
随着信息时代的发展,量子计算机逐步展现出对传统公钥密码系统的破坏性,使得依赖传统公钥密码系统的网络安全与数据信息无法得到可靠保障,迫切要求对网络及信息安全系统进行革新。后量子密码与其芯片技术是未来应对量子计算机攻击威胁的关键力量。本书首先介绍了后量子密码的研究背景、算法理论以及当前的研究现状,其次由后量子密码芯片面临的
本书从空间维度分析了全球网络安全和信息化的总体形势,梳理了美国、俄罗斯、亚洲、欧洲、非洲等国家和地区的网络安全与信息化战略和政策变化发展情况,展现出全球网络空间的总体格局与地域特色。分析了2022年网络安全形势与治理的月度特点和重点,描墓了全球网络空间形势的动态变化与相关政策的调整方向。针对一些国家和地区的重要战略政策
本书是工信部“十四五”规划教材,阐述了信号与系统的基本概念、核心原理和实用方法,主要包括连续时间与离散时间信号与系统的时域分析、频域分析、s域分析、z域分析、状态方程与MIMO系统等。本书在内容阐述上加强离散时间系统的分析,揭示连续时间与离散时间系统的相互关系以及数字滤波器的核心原理;在体系建构上注重与当今技术发展的适
本书是一部经典的有关统计信号处理的权威著作。全书分为两卷,分别讲解了统计信号处理基础的估计理论和检测理论。第一卷详细介绍了经典估计理论和贝叶斯估计,总结了各种估计方法,考虑了维纳滤波和卡尔曼滤波,并介绍了对复数据和参数的估计方法。本卷给出了大量的应用实例,范围包括高分辨率谱分析、系统辨识、数字滤波器设计、自适应噪声对消