本书由多年从事网络技术教学工作及系统集成项目的教师及工程技术人员编写。本书以注重实际操作、注重主流技术、注重网络应用为中心，主要目的是让学生掌握和熟悉网络互联的组网方法和相关设备的配置，能够利用互联网络作为本学科的学习与研究工具，适应信息化社会的发展。本书既能保持教学的系统性，又能反应当前网络互联发展的最新技术。

本书主要介绍认证与密钥协商协议的设计方法以及协议中所涉及的相关知识。针对若干应用环境，例如VoIP网络、电子医疗健康网络、智能电网等应用环境，本文详细阐述了认证与密钥协商协议设计的思想，具体的设计步骤。此外，对提出协议的安全性采用不同方法进行了详细的分析和证明，并对提出协议的性能进行了实验对比分析。 本书针对不同应用

《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及**成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器CryptoVerif及应用、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安

本书共19章，全面讲解了Cinema4DR18的使用方法并配以对应的案例操作，介绍了在工作中常用的建模、材质、灯光、渲染、粒子、毛发、布料、动画、运动图形、效果器和Xpresso等方面的知识，同时介绍了与AfterEffects软件结合使用、UV贴图拆分案例和OC外置渲染器的知识。知识全面，覆盖性强，案例举一反三。

本书共分13个项目，在内容结构上，按照交换基础篇、LAN交换和路由基础篇、路由协议和概念篇、路由协议配置篇、网络安全基础篇的结构进行布局。在教学过程中注意体现学生设计和动手能力培养的循序渐进性。《网络组建与应用》可用作计算机网络技术专业的教学用书，也可用作电子及计算机类专业的网络类课程的教材或者实验指导用书。

本书由一线讲师和设计师倾力编写，深入挖掘PhotoshopCS6的核心工具、命令与功能，帮助读者在短时间内迅速掌握PhotoshopCS6的应用方法与技巧，并将其运用到实际操作中。全书分为4个部分：第一部分是Photoshop入门和基本操作；第二部分是Photoshop核心功能，如选区与填色、绘画与图像修饰、调色、照片

本书以零基础讲解与自学为宗旨，以图文并茂、理论与实战相结合的方式引导读者深入学习，涵盖了PhotoshopCC常用的各个功能，深入浅出地讲解使用Photoshop处理图片的各项技术以及实战技能。书中的实例针对性强，以便读者在学习软件技法的同时能够快速掌握每个知识点，为日后应用于工作打好基础。通过理论知识、实战、提示等内

本书主要介绍物联网规划与设计方面的知识，首先对物联网技术国内外发展情况进行介绍，讲解物联网体系结构和网络设计方法，然后就物联网的感知层、网络层和应用层的设计流程进行描述，最后给出智慧农业和智慧社区两个典型的物联网系统的设计实例。本书内容涉及物联网系统集成方法、物联网体系结构及其各层次（感知层、传输层、应用层）的设计原则

本书是学习网络设备配置的实训教程，从学生学习的角度来编写，内容丰富，结构清晰，通俗易懂，实例众多。全书以常见的交换机、路由器等设备为核心，内容涵盖设备的基本概念、性能指标、核心网络设备的选购、设备的配置和维护等。教程的体系结构完整，涉及的操作内容步骤清晰明确，具有较强的可模拟性，每章末尾附有相关的习题，便于读者学习。

《语义物联网》从项目团队当前正在开展的主要研究方向出发，介绍了语义物联网研究领域中的关键技术和研究成果。从语义物联网主要研究和解决的问题以及面临的挑战展开，重点讨论物联网前端资源描述和建模、物联网感知数据描述和处理、物联网感知数据自动语义标注、物联网语义事件处理、物联网时空语义建模等方面的关键技术和方法，并对语义物联网