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

本书系统地介绍了目前应用最广的MATLAB语言及其在电子信息大类教学与研究中的应用，侧重于介绍MATLAB语言编程基础与技巧、科学运算问题的MATLAB求解、信息系统的建模和计算机辅助分析、随机信息系统的仿真分析、语音系统的计算机辅助设计方法等，包括小波分析、场信号分析、simulink设计、谱估计、IIR滤波器、FIR滤波器、工具箱的应用、图像增强设计、MATLAB可视化、PDEtool、噪声信号分布、傅里叶变换、z变换等。本书还介绍了基于simulink模型建立方法和标量场/矢量场的仿真实验

网络空间安全管理是攸关国家主权、安全和发展利益的重大前沿问题，本书全面系统地对相关基本理论进行了阐述，形成了较为完整的理论框架和实践指南，对国家安全学、网络空间安全学、管理学等多个一级学科的理论创新发展作出了重要贡献。全书研究了我国的网络空间安全管理问题，阐述了网络空间安全管理的基本理论，如何构建网络空间安全管理体制，并对网络空间管理的基本原则、主要内容和基本途径进行了深入研究，提出了自己的见解。研究选题属于国家安全中的重大问题，也符合十八大、十九大的精神。整部书稿结构合理，逻辑严密，所提建议具

"本书以工程项目为载体，以任务为学习手段，通过五个项目，共十六个典型的工程任务，介绍下一代语音与多媒体业务交换系统——NGN软交换系统和NGNIMS系统的理论知识，系统建设和运维的工程规范，NGN软交换系统的组网、业务开通和日常维护等职业技能。项目一介绍NGN软交换系统和NGNIMS系统相关的基础知识，旨在读者对交换概念，交换原理，NGN软交换架构，IMS架构与功能实体等知识有清晰而全面地了解。项目二、三、四以华为SoftX3000设备为例，介绍NGN软交换系统的局内基本业务、局间长途业务的相关

这是一本图文并茂的网络管理技术书，旨在让广大读者理解TCP/IP的基础知识，掌握TCP/IP的基本技能。 书中讲解了网络基础知识、TCP/IP基础知识、数据链路、IP、IP相关技术、TCP与UDP、路由协议、应用层协议、网络安全等内容，引导读者了解和掌握TCP/IP，营造一个安全的、使用放心的网络环境。 本书适合计算机网络开发、管理人员阅读，也可作为大专院校相关专业的教学参考书。

本书对数字信号处理的关键理论从应用和实践的角度以案例的形式进行了情境创设。内容包括数字信号的产生、时域处理方法、频域处理方法、数字滤波器的设计和实现等。本书注重物理概念的透彻分析与介绍、知识点应用的算法流程分析，强调理论与实际应用的结合，旨在达成知行合一的目标。本书创设了切合知识点的案例情境，情境任务采用step-by-step（一步一动）的安排模式，降低了理论的要求门槛，层级化的情境任务可满足基础能力提升和高阶能力生成的需求。情境任务的直观效果便于读者顺利实现对概念、相关知识应用方法的内化。

本书以提高智能无人系统的环境感知和识别能力为主线，系统展示基于视觉注意机制的服务机器人深度感知方法研究、基于深度学习框架的水下遮挡图像识别方法研究、面向畜类肉品骨骼在线定位的轻量化显著性检测网络构建等典型应用案例。本书充分介绍了视觉显著性检测、视觉注意机制、图像修复、目标检测与识别的发展现状，构建了基于脉冲耦合神经网络和基于元胞自动机多尺度优化的改进显著性区域提取算法，提出了基于两阶段引导的协同显著性检测方法，同时基于深度学习框架搭建多个遮挡图像重构和目标识别方法，并在软件仿真、真实环境等多实验

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

本书围绕两个方法（时域分析方法和频域分析方法）、两个支柱（离散傅里叶变换及其快速算法、数字滤波器理论及其设计方法）展开，概述了数字信号分析与处理的基本概念、研究内容、特点和应用后，详细介绍了数字信号的产生、采样定理和数字频谱，数字滤波器的4种描述方式（差分方程、脉冲响应、传递函数和频率响应），数字卷积、Z变换、离散时间傅里叶变换、离散傅里叶级数、离散傅里叶变换和快速傅里叶变换等相关理论，以及FIR数字滤波器与IIR数字滤波器的设计和实现。

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