本书介绍安全协议及其验证方法，主要内容包括四部分：第一部分为基础知识，包括安全协议基本原理介绍、安全性分析以及密码学基础；第二部分为安全协议原理，包括安全协议概述、认证与密钥交换协议、电子商务协议以及实际使用中的安全协议；第三部分为安全协议的分析、验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑和串空

本书共分为八个章节，以软件测试工作流程为主线，软件测试技术为抓手，通过常用测试工具和实践案例来介绍单元测试、功能测试、移动应用测试、性能测试、嵌入式测试、大数据测试和机器学习测试的实施过程。本书的读者对象是软件工程初学者、软件工程专业实践者以及参加“大学生软件测试大赛”的学生。

本书突出重点地介绍了数据库系统的基本概念、基本原理和基本设计方法，同时以SQLServer为背景介绍了数据库原理的技术应用（实验方式）。全书共有6章及14个实验，第1部分数据库原理知识内容包括：数据库系统概述、数据模型、数据库系统结构，关系数据理论，SQL语言，关系数据库设计理论，数据库设计，SQLServer数据库管

《信息安全导论》作为计算机科学与技术（信息安全方向）专业必修课程，本教材坚持需求驱动、问题导向和目标导向，理论与实践紧密结合，实用性强，向学生传授解决信息安全问题的方法和技术同时，立德树人，向学生传授主流价值观和方法论，不仅较全面地介绍信息安全技术、安全管理、法律法规以及伦理道德，也从章节安排上向学生传递主流文化和世界

本书为Java企业项目开发提供指导，涉及Java企业项目的各方面开发技术，主要内容包括初识Spring、SpringMVC开发基础、SpringBoot开发入门、SpringBoot原理解读与配置、SpringBoot数据访问与事务、SpringBoot高并发和SpringBoot安全机制，并通过实际的操作案例，直观地

"本书紧紧围绕高素质技术技能人才培养目标，对接专业教学标准和职业技能等级证书评价标准，选择项目案例，结合智能视觉技术相关从业人员需要系统堂握的知识与技能，以项目为纽带、任务为载体、工作过程为导向，科学组织教内容，进行教材内容模块化处理，注重课程之间的衔接融通及理论与实践的有机衔接，开发工作页式的工单，形成了多元多维、全

本书共分为6个章节：数码摄影技术、数码摄像技术、视听语言基础、音频编辑基础、视频编辑基础和音视频编辑综合案例。这些主题内容涵盖了数码影像编辑的各个方面，从基础知识到高级技巧，从理论到实践，旨在帮助读者全面了解和掌握数码影像编辑技术。掌握数码影像编辑技术不仅可以满足个人的创作需求，还可以为社会和大众提供更好的视听体验。本

《这就是计算机》是一套专门为6-12岁的孩子打造的计算机科普书，一套8册6大主要领域，近200个知识点，在内容上涉及了计算机重要组成的6大部分，包括芯片、数据、算法、编程、软件、互联网，了解计算机必先了解这六个方面。全套书从计算机发展现状开始讲起，然后分别从计算机这六大组成部分的角度依次向孩子讲解计算机科学知识，后立足

本书结合MySQL8数据库管理系统，基于"与企业应用、岗位技能相符”的原则，按照项目教学的基本规律编写。全书以项目为导向、以工作任务为主线，以MySQL数据库的管理与应用开发任务为载体，重点介绍以下知识与技能：MySQL数据库环境的建立及其连接；数据库及各种数据库对象的创建与管理；数据的增删改及查询；索引与视图；MyS

本书是基于银河麒麟服务器操作系统，以企业级云原生案例实战为主导的，用于培养云原生运维工程师的图书。本书偏重典型案例的实操，旨在培养读者的动手操作能力。本书以项目任务化的形式组织内容，以银河麒麟服务器操作系统为载体，精选企业级的常用云原生服务经典案例进行详细的讲述。全书共分为6个项目，内容包括Kubernetes基础、K