本书共6章。第1章介绍新一代互联网研究概况，由当前互联网技术面临的问题入手，归纳总结新一代互联网体系结构研究过程中的共识与分歧，同时提出一种新型的网络体系结构。第2章介绍新一代互联网研究重要计划，给出国际上的主要研究计划与主要研究项目。第3-6章重点讨论新一代互联网的部分核心技术。

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

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

本书对近年来涌现出的各种主流分布式技术做了简要介绍和全面梳理。本书将分布式系统中涉及的技术分为前端构造技术、分布式中间件技术和分布式存储技术三大类，对每类技术都详细介绍了其原理、设计思想和架构，以及相关应用场景。此外，本书还总结了分布式系统的构建思想，并分别对业界几个非常成功的大型分布式系统（谷歌搜索系统、淘宝网电商平

本书是《网络空间安全：C语言程序设计》（科学出版社，2018）的配套习题辅导，旨在为学习者学习C语言程序设计课程提供指导和帮助。本书以C语言程序设计的基本思想和方法为主线，以培养学习者的逻辑思维能力、程序设计能力和自主学习能力为导向，以强化和巩固程序设计的综合能力和基本素养为目标。本书共分四章，包括章节练习、教材习题解

本书围绕程序设计思想训练这个主题，充分吸纳项目教学法的思想，对每一章节的内容，利用小型的项目案例进行引导，训练学生的逻辑思维和分析问题以及程序文本的读写能力。由于C语言的语法特点，本书依然沿用知识体系的编写方法，但教材内容的组织按照项目教学法的思想组织教学内容，全书共分三个部分：语言基础知识、语言设计知识和项目案例库。

本书是作者在已经出版的《XilinxZynq-7000嵌入式系统设计与实现：基于ARMCortex-A9双核处理器和Vivado的设计方法》一书的基础上进行修订而成的。本书新修订后内容增加到30章。修订后，本书的一大特色就是加入了Arm架构及分类、使用PetaLinux工具在Zynq-7000SoC上搭建Ubuntu操

本书以计算机的组装与维护为主线，按照项目教学的要求来安排内容，系统地介绍了计算机系统的基本知识、计算机各个配件的选购和组装、BIOS参数的设置、操作系统的安装、硬件驱动程序的安装以及计算机系统的维护、系统备份和优化、计算机软件故障诊断、计算机硬件故障诊断以及计算机系统的恢复方法等内容。通过本书的学习，读者不仅可以自己动

《新编中文版PhotoshopCS6入门与提高（第2版）》是一本讲解PhotoshopCS6基本功能及运用的书。 《新编中文版PhotoshopCS6入门与提高（第2版）》共分为12课，除了对PhotoshopCS6中的功能进行由浅入深的讲解外，还为每个重要功能安排了操作练习。每个练习都有详细的制作流程，图文并茂，一目

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