本书介绍安全协议及其验证方法，主要内容包括四部分：第一部分为基础知识，包括安全协议基本原理介绍、安全性分析以及密码学基础；第二部分为安全协议原理，包括安全协议概述、认证与密钥交换协议、电子商务协议以及实际使用中的安全协议；第三部分为安全协议的分析、验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑和串空间模型理论等；第四部分为安全协议前沿技术研究简介，包括前沿计算领域中的安全协议、安全协议硬件卸载和人工智能与安全协议。

本书为上海市教委组编、高建华担任总主编的大学计算机系列教材中的一本，旨在显著提升数智时代大学生的数字素养和能力，主要包括五个部分：一是数智时代与数字素养，介绍信息技术发展历史与现状、数字工具、云计算、物联网、信息安全和数字时代的风险与责任等；二是信息处理，介绍文字信息、图像信息、动画视频信息及信息展示等；三是计算思维和问题求解，介绍计算思维、程序设计、大模型生成代码等；四是大数据与数据可视化，介绍数据分析基础、数据分析与可视化等；五是人工智能技术与应用，介绍机器学习、神经网络与深度学习

作者整理了十余年“软件测试”课程的教学笔记，进而精心编排形成此书。本书阐述了黑盒测试技术和白盒测试技术的理论知识，并以航班管理软件为线索，从实践教学的视角，介绍了软件测试技术相关的三部分内容：基于黑盒技术的测试用例设计，基于白盒技术的测试用例设计和执行，自动化测试技术。
本书的特色在于案例的完整性和测试用例设计的全面性，其实践性强，有助于学生更好地学习和掌握软件测试的基本技术。本书详细的设计步骤为读者自学提供了有力的支持。
本书可作为高等学校“软件测试”课程的教材或教学参考书。

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

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

《信息安全导论》作为计算机科学与技术（信息安全方向）专业必修课程，本教材坚持需求驱动、问题导向和目标导向，理论与实践紧密结合，实用性强，向学生传授解决信息安全问题的方法和技术同时，立德树人，向学生传授主流价值观和方法论，不仅较全面地介绍信息安全技术、安全管理、法律法规以及伦理道德，也从章节安排上向学生传递主流文化和世界优秀文化。
手段是外在的，是方法论，而驱动人的行为的是认识论，是内在的。只有我们的认识论和方法论都返璞归真，回归本我，不攻击他人，才能从根本上解决安全问题。加强学生的信

数字经济时代，数据已经成为关键生产要素。本书结合全球视角与中国国情，深度剖析了数据基础设施的构成、运行机制、技术支撑体系及政策法规环境，旨在帮助读者精准把握数据要素基础设施的内在逻辑和发展趋势，提高驾驭数字经济的能力，精准把握数字时代脉搏。本书详细介绍了数据采集、存储、传输、计算、交换和治理等环节的数据要素基础设施建设要点，重点探讨了大数据、云计算、区块链、隐私计算、人工智能等前沿技术在数据要素基础设施建设中的深度融合和创新应用，辅以实际案例分析，揭示数据要素基础设施对数字经济高质量发展的重大意

"本书以FusionOS为例，针对服务器操作系统管理员日常管理工作中遇到的高级系统管理任务提供全面详细的解决方案。

本书共5章： 第1章介绍了FusionOS所独有的系统监控和性能调优工具，第2章介绍了FusionOS操作系统故障定位与修复，第3章介绍了FusionOS的安全加固工具，第4章介绍了从CentOS迁移到FusionOS的全面的操作系统迁移方案，第5章基于FusionOS进行应用开发指南。本书提供大量应用实例，每章附有习题。

本书可作为高等院校计算机、软件

本书是一本专为高职高专学生编写的书，旨在帮助学生建立扎实的Web前端开发基础知识。本书内容分为5个项目，分别涵盖了HTML基础知识、HTML5基础知识、CSS基础知识、CSS3基础知识，以及“榜样的力量”项目实战。本书按照项目的方式组织内容，从基础知识到实战项目，逐步引导学生掌握Web前端开发的关键技能。每个项目都包含了大量的技能训练和案例分析，学生可以通过实际操作来巩固所学知识，并理解Wbe前端开发在实际项目中的应用。本书采用简洁明了的语言和示意图，解释复杂的概念和技术，使学生能够轻

本书主要以deepin为例讲解国产操作系统的使用操作、配置管理、软件开发平台和服务器部署。本书共10个项目，内容包括了解并安装deepin操作系统、熟悉桌面环境的基本操作、熟悉桌面应用、熟悉命令行操作、用户管理与文件系统管理、软件包管理、系统高级管理、系统监控与故障排除、部署开发工作站、部署和管理统信服务器。