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

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

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

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

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

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

本书以建筑物和建筑群综合布线系统工程为典型案例，按照中级与高级职业技能要求和工作任务，首先介绍了中大型综合布线系统工程的技术准备、材料准备和工具准备；然后介绍了工程安装、调试和故障处理技术技能；最后安排了常见故障处理、测试验收项目管理和培训内容。

本书以强化计算机基础知识及计算机基本操作能力(包括WPSOffice)为目的，内容涉及：计算机基础知识、文件与文件夹的基本操作、因特网基础与简单应用、WPS文字、WPS表格等。

本书采用STC15单片机实验平台，涵盖了51系列单片机的主要应用技术，包括I/O口控制、定时器中断、数码管显示、点阵显示、串口触摸屏显示、A/D转换等。

本书首先从Python的简介和环境搭建开始，介绍了Python的基础语法、编码规范、数据类型等，特别介绍了Python字符串的灵活使用；然后介绍了标准化结构程序设计，包括顺序结构、选择结构和循环结构；还介绍了Python函数、自定义函数的创建及使用方法；最后介绍了常用的numpy库和pandas库的使用方法。