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

人工智能是当代经济发展的新引擎，大数据时代和5G通信时代的到来助推着人工智能这艘“航母”高速前进。我国《新一代人工智能发展规划》的发布，标志着人工智能国家发展战略开始正式实施。本教材使用通俗易懂的语言深入浅出地介绍了人工智能的相关知识，从人工智能的发展历程谈起，重点介绍了人工智能的核心技术和主要应用，几乎涵盖了人工智能

本书内容涵盖大数据入门教学，进阶讲解，以及基于华为云开展的大数据实践教程。入门教学包括大数据概述、Hadoop、HDFS、MapReduce、NoSQL、HBase等基本技术点；进阶讲解包括基于分布式处理框架Spark的离线数据分析实践和基于实时处理框架SparkStreaming/Flink的实时数据分析实践；此外还

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

Python编程语言简单易用，功能强大，非常适合作为入门编程语言。非IT专业人士也很容易掌握Python，学完能编写专业的复杂程序。Python语言是当前IT行业内最为流行的编程语言之一，同时Python也是全场景编程语言，在Web、大数据、人工智能和嵌入式系统等开发领域均有应用。 本书共有23章，第1章，首先说明程

本书主要内容包括：简单C程序设计、数据类型、运算符、表达式和算法、顺序结构、选择结构、循环结构、数组、函数、指针、结构体和共用体、文件。

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

本书讲述了Windows10操作系统、Office2016常用办公软件及互联网技术与新一代信息技术的操作知识及实际应用。内容包括使用与维护计算机、使用与配置Windows10、文档处理、电子表格处理、演示文稿制作、应用互联网技术与认知新一代信息技术。

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

本书介绍了智能制造技术的核心理论与关键技术，包括智能感知、智能决策、智能执行等多个方面。书中通过深入浅出的方式，让读者可以了解到智能制造技术如何相互融合，共同构建起智能制造系统的基石；展示了智能制造技术在各个行业领域的广泛应用案例，如汽车制造、航空航天、电子信息等，展示了智能制造技术的强大威力，也为读者提供了宝贵的实践