本书系统介绍了网络安全的基础知识、安全技术及其应用，并介绍了网络安全新进展和网络安全相关法律法规。全书共14章，重点介绍数据的安全传输和网络系统的安全运行，内容包括数据加密、消息鉴别与数字签名、密钥分发与身份认证、Internet通信安全、网络攻击技术、网络接入控制、防火墙、入侵检测与紧急响应、虚拟专用网、无线局域网安全、云安全、物联网安全、网络安全法律法规等。
本书全面讲解了网络安全理论与技术体系，既注重基础理论的介绍，又着眼于技术应用和实践能力的培养；内容安排合理，逻辑性强，通俗易懂

网络安全具有很强的实践性特点。本书除在正文部分中提供了35个验证性实验和2个综合性实验外，还在问题讨论部分中给出了多个设计性实验，力图通过实验帮助读者系统地掌握网络攻防的实用技术。全书分为4篇13章，按照“环境—威胁—防御—运用”的思路安排。“网络安全实验环境篇”重点讨论网络安全实验环境的构建技术、方法及相关实验；“网络安全威胁篇”以网络攻击的主要环节为线索，详细介绍信息收集、口令攻击、二进制软件漏洞、Web应用攻击、恶意代码、内网渗透、假消息攻击等网络攻击技术、方法及相关实验；“网络安全防御篇

本书体现了网络安全保密一体化设计与运用的思想，横向上沿着PDR动态模型，纵向上沿着IATF 动态模型，立体式地组织内容。本书涵盖了通信加密、认证与访问控制、可信计算等基于密码的网络安全机制，以及操作系统安全、防火墙、网闸、入侵检测、网络态势感知、内容安全、网络攻击溯源等通用网络安全机制，同时强调人的因素、管理因素和安全保密体系建设等问题，介绍了业务连续性管理、安全审计与责任认定、信息系统安全工程、网络安全等级保护、信息系统密码应用设计与安全性评估等内容。

"本书以网络空间信息系统安全防御体系构建为主线来组织内容，深入浅出、循序渐进地介绍网络空间安全的应用技术与工程实践，系统全面地讲述信息系统安全防御体系构建的系统架构与整体方案。全书内容包括：网络空间安全基础知识、安全防御技术体系、基础架构安全、被动防御技术、主动防御技术、智能分析及反制技术，网络安全度量、分析与测评方法，最后重点讨论云计算、物联网、工业控制系统、移动互联网络、大数据、人工智能、量子通信及区块链等信息系统新形态和新应用的安全问题。本书可作为高校网络空间安全、信息安全、信息

本书主要介绍云计算及其安全关键技术，包括云计算概述、云计算关键技术、云计算安全机制和云计算平台构建四个部分，共18章。部分（第1～3章）概述云计算的发展历程、交付模型、部署模式、关键技术、安全需求等； 第二部分（第4～8章）具体介绍虚拟化技术、存储技术、计算技术、网络技术、平台技术等相关原理和技术； 第三部分（第9～13章）具体介绍虚拟化安全、存储安全、计算安全、网络安全、系统安全等相关方法与技术； 第四部分（第14～18章）结合实例介绍IaaS、PaaS、SaaS云服务构建与安全保护方法

本书讲解Docker容器的配置、部署与应用，一共分为11个项目，包括工程项目文档编写、Docker基础、Docker安装、Docker镜像基本知识、Dockerfile定制镜像、Docker容器基本知识、私有Registry、握Docker存储、Docker网络、compose基本原理、项目部署。本书的重点和特色是整本书是围绕容器的web应用商城项目部署实施设计编写的。本书内容丰富，注重实践性和可操作性，对项目中的每个任务都有相应的操作示范，每个项目后都会有实验手册，将本项目的知识点串起来讲解，

本书系统全面地介绍了数据库系统的基本理论、实现技术和开发方法。内容包括数据库系统概论、关系型数据库、关系型数据库标准语言SQL、关系模式设计理论、数据库设计、数据库的保护、数据库系统的新技术和数据库系统的应用及开发。各章后选编了许多练习题或实验题，供复习或上机使用。

本书取材广泛，内容丰富，解析清楚，讲述明确，通俗易懂，可以作为全国高等学校计算机、信息和自动控制、经济和电子商务等专业数据库课程的教材，也可以供从事数据库开发应用的研究人员和工程技术人员参考。

本书以经典的关系数据库理论和技术为基础，介绍了数据库系统概述与体系结构、关系数据模型、结构化查询语言、过程化SQL、数据库模式设计、数据库设计、数据库应用系统开发、数据库事务、故障恢复、并发控制、数据库完整性、数据库安全性以及数据库技术新发展等内容。
在理论方面，本书重点介绍关系数据模型、关系模式规范化、并发调度的可串性，以及基于锁的并发控制机制等理论提出的背景和动机、优点和缺点，使学生能够明白当前成熟的理论对数据库领域的主要贡献，也明白已有的一些模型和方法在设计上的先进性和存在的问题，从

形式语言与自动机理论是计算机类专业的一门重要课程。本书是作者结合其近40年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。基于计算机问题求解的需要讨论正则语言和上下文无关语言的文法、识别模型及其性质，图灵机的基本知识。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性。叙述中特别注意引导读者分析与解决问题，以培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化（计算机化）”的解题思路。为了便于学生对内容的掌握，附录A还给出了建议的教学设计。

本书作为《形式语言与自动机理论（第4版）》（主教材）的配套教学辅导用书，按照主教材的结构编写而成。本书包括有关内容的讲解、学习要点、问题分析、求解思路和方法、注意事项。考虑到该课程习题求解具有相当的难度，以及给出全部习题解答又不利于学生学习，本书只给出了典型习题的解析。为了引导读者及时总结学习内容，按照小节给出知识点和主要内容解读，为读者学习和掌握主教材中的知识点和问题求解方法，体会问题求解的核心思想提供帮助，对教师和学生来说，阅读这些内容都是很有意义的。