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

本书旨在向从事网络空间安全的入门者介绍什么是现代密码学，它从哪里来，包含哪些基本内容,在网络空间里有哪些应用。作为入门书籍，本书面向的主要读者对象是准备从事网络空间安全的研究者和计算类专业中对信息安全有兴趣的本科生，可为他们建立较为全面的密码知识体系视野、增加对密码学应用领域的了解。
本书从古代军事上的密码传递信息应用开始，分析密码的行程和密码技术的变迁；结合密码的发展与应用历史，穿插以历史故事，较为系统地介绍了DES、AES、RSA等经典密码算法；讨论了数字签名、密钥管理、秘密分享等经典

《密码分析学》系统介绍了对称密码算法和杂凑函数的主流分析理论与方法，如差分分析、线性分析、积分分析、中间相遇攻击、立方攻击、比特追踪法、侧信道攻击等.注重数学模型构建与编程测试技术相结合，以缩减轮数的算法或小版本的算法为例进行讲解和实验测试，部分内容来自参编人员的原创性研究成果，从研究角度还原模型提出和建立全过程，便于读者学习掌握发现问题、分析问题与解决问题的思路和方法.《密码分析学》配备了丰富的拓展学习资源，读者扫描二维码即可学习.

本书通过贴近现实的商业项目，讲解软件的核心应用场景，帮助零基础的初学者了解行业需求以及需要掌握的关键技能。尚未入行的读者可以了解真实的客户需求是什么样的，以及如何拆分需求、完成任务。书中不仅包含了设计师需要掌握的理论知识、实操知识和行业知识，还介绍了完成各类任务的思路与方法。

人人都可以拍摄短视频，但不代表人人都能够拍好，短视频是一种对创作者综合素质要求很高的视听艺术。

本书从短视频的崛起与发展趋势、热门平台开始讲起，帮助读者快速了解短视频的基础知识；接着介绍短视频的策划与构思，帮助读者理清创作思路；然后针对短视频拍摄，细致讲解了短视频的拍摄设备、提升表现力的技巧、创作的美学理论、镜头运用、分镜头设计、场景道具设计等内容；最后分享了大量剪映App的短视频实用后期剪辑技巧。

本书内容丰富，涵盖了短视频策划、拍摄与剪辑等的内容，适合对短视频

《短视频编辑与制作》是一本理论与实操一体化教材，教材以企业工作过程为主线，以岗位典型工作任务为主要内容，以综合职业能力培养为目标，在专业知识的学习中，践行课程思政，强化立德树人。 全书共有六个学习项目，包含短视频平台认知与基本操作、短视频的内容策划与文案撰写、短视频的拍摄准备与拍摄技巧、短视频的剪辑处理、短视频基础运营知识、短视频拍摄与制作实战等相关内容。 同时，随书提供相关案例的素材和多媒体课件，并配备相关教学微课，方便读者理解，更有效率的掌握短视频的编辑与制作方法。

本书以“大众创业万众创新”为时代背景，结合当前高等院校创新实践课程，总结基于鸿蒙的开源应用程序的开发方法，给出系统开发鸿蒙应用程序的综合实际案例。其主要开发方向为智能教育、财务管理、智慧管理、时间应用，案例从系统架构、系统流程、开发环境、开发工具、开发语言、开发实现、测试应用。本书内容由浅入深、先基础后实践，基础知识与实践案例相结合，以供不同层次的人员需求；同时，本书附赠实际项目的应用实现代码、视频讲解、原图、工程文件，供读者自我学习和自我提高使用。

OpenHarmony轻量系统入门到精通50例是一门以案例驱动学习的教材，本书基本覆盖了OpenHarmony轻量系统所有的知识点。由浅入深系统地讲解了OpenHarmony所有的知识点。其中第1章是本书的准备阶段，介绍OpenHarmony及开发环境的搭建、应用模块开发及启动流程分析；第二章以有趣的小案例讲解OpenHarmony轻量系统中常用系统接口，如任务（可以理解为线程）、互斥锁、软件定时器、中断机制、内存管理；第3章以丰富的外设案例讲解OpenHarmony轻量级系统的设备接口，如GP

本书涵盖了数字图像处理的多方面，主要内容包括： Python和OpenCV基础、图像的直方图表示与变换、图像的几何变换、空间域图像增强、图像的形态学运算、图像的分割、彩色图像处理、图像的特征提取、深度学习与图像处理。本书将理论介绍与工程实践进行有机结合，各章的理论介绍深入浅出，并使用比较流行的编程语言Python将理论内容转换为工程代码。本书不仅介绍了图像的几何变换和形态学变换等数字图像处理领域中的传统内容，还介绍了深度学习等数字图像处理领域的新内容。

本书共10章。第1章介绍了数

数字图像处理是计算机大类高年级本科生和低年级研究生的数据类重要课程。本书面向算法解析和工程建模能力培养，介绍图像处理、图像认知和建模的基本方法，集中介绍图像处理的基本算法。本书共10 章，介绍成像科学和图像处理基本概念，以及二维信号线性系统基本建模方法，系统概述卷积、滤波、增强、复原、边缘检测、频域分析和分割等基本算法的建模思想，最后论述图像基本特征计算、模式分析和初步的深度学习方法。不同于现行的图像处理教程，本书更为强调对图像处理算法的数学建模和原理剖析，并通过小矩阵等方式进行演算，力求揭示和