《安全远程网络投票协议》共有十三章。系统全面地介绍了远程网络投票协议设计与分析的基本理论、关键技术及成果。主要内容包括远程网络投票协议的分类和模型、外发展现状、安全属性及其实现所需要的关键技术、典型远程网络投票协议、基于符号模型手工方式分析与验证无收据性、应用PI演算、一阶定理证明器ProVerif、基于符号模型自动化分析与验证抗拒绝服务攻击性、无收据性和抗威胁性、概率进程演算、自动化安全协议证明器Crypto‐Verif、基于计算模型自动化分析和验证抗威胁性等。 《安全远程网络投票协议》可供从事安全协议、密码学、计算机、通信和数学等专业的科技人员、硕士和博士研究生参考，也可供高等院校相关专业的师生参考。

本书在对IEEE1394体系结构及协议进行分析的基础上，通过对几种有代表性的控制芯片功能的描述，从理论与实际应用相结合的角度出发，详细介绍了1394硬件接口及软件驱动程序的设计方法。注重实用性是本书的特点之一，作者总结了开发过程中的经验，尽量详细地介绍了实际过程中可能遇到的问题，以达到使读者可以更快地设计出自己产品的目的。本书共分为三部分，分别从协议、芯片及其硬件设计和驱动软件设计三方面对IEEE1394接口的开发进行了阐述。本书适合所有关心IEEE1394开发的软件或硬件工程师使用，也可满足大专院校电子专业和计算机专业师生及广大电子技术爱好者学习1394技术的需要。

《图灵计算机科学丛书?TCP/IP指南(卷2)应用层协议》是其中译本的第2卷，主要介绍TCP/IP应用层协议，共10部分39章，分别介绍了名字系统及TCP/IP名字注册和名字解析、网络文件和资源共享协议、主机配置与TCP/IP主机配置协议、TCP/IP网络管理框架和协议、TCP/IP应用层寻址和应用程序分类、TCP/IP通用文件传送协议、TCP/IP电子邮件系统、TCP/IP万维网和HTTP、其他文件和报文传送应用程序、交互式和管理性的实用程序及协议等。TheTCP/IPGuide是TCP/IP领域的一部百科全书式的经典著作，书中对TCIP/IP协议的原理和实现做了全面的介绍，涉及因特网中使用的各种最新的协议和技术。

《深入解析IPv6(第3版)》详细讲述了IPv6(Inter Protocol version 6)的概念、原理与实现过程，并结合微软公司主流的操作系统(Windows Server 2012、Windows Server 2008、Windows 8和Windows7等)讲解了IPv6的具体实现与应用方法。 《深入解析IPv6(第3版)》分为20章和8个附录，其内容涵盖了IPv6的基本概念、IPv6编址、IPv6报头的分析、IPv6中使用的协议、IPv6过渡技术、IPv6安全等知识，并结合IPv6在Windows 环境中的配置、实施示例，进一步阐释了IPv6的功能，及在Windows中的用途。《深入解析IPv6(第3版)》附录内容还囊括了与IPv6相关的RFC文档索引、每章最后的理解测试答案，以及更多IPv6的延伸内容(比如IPv6字段介绍、IPv6链路层支持、Windows为了同时支持IPv6和IPv4做出的改进、移动IPv6、Teredo协议进程等)，以帮助读者更加深入地理解掌握IPv6在Windows中的应用。 《深入解析IPv6(第3版)》适合Windows网络顾

本书以RFC为基础，以“TCP/IP→MPLS→MPLS VPN”为主线，系统介绍了相关的网络协议，包括TCP/IP体系的基本协议（物理层、数据链路层、网络层、传输层、应用层）、路由协议（OSPF、IS-IS、RIP、BGP），以及MPLS和MPLS VPN。 本书尽可能地以相对轻松的笔调来讲述略显枯燥的网络协议知识。本书也尽可能地深挖网络概念背后的细节和本质，期望做到生动有趣、深入浅出，能给读者枯燥的学习增加一点轻松快乐。 本书适用于对网络协议零基础而期望入门或者有基础而期望能有所提高的读者，适用于深入网络协议开发/测试的读者，适用于计算机系统维护的管理员，也适用于仅仅希望对网络协议做一些简单了解的读者。

《TCP/IP详解》是已故网络专家、技术作家W. RichardStevens的传世之作，内容详尽且极具，被誉为TCP/IP领域的不朽名著。 本书是《TCP/IP详解》的卷，主要讲述TCP/IP协议，结合大量实例讲述TCP/IP协议族的定义原因，以及在各种不同的操作系统中的应用及工作方式。第2版在保留Stevens卓越的知识体系和写作风格的基础上，新加入的作者KevinR.Fall结合其作为TCP/IP协议研究领域领导者的尖端经验来更新本书，反映了的协议和的实践方法。首先，他介绍了TCP/IP的核心目标和体系结构概念，展示了它们如何能连接不同的网络和支持多个服务同时运行。接着，他详细解释了IPv4和IPv6网络中的互联网地址。然后，他采用自底向上的方式来介绍TCP/IP的结构和功能：从链路层协议（如Ether和Wi-Fi），经网络层、传输层到应用层。 ?书中依次全面介绍了ARP、DHCP、NAT、防火墙、ICMPv4/ICMPv6、

本书是TCP/IP领域的经典之作！书中完整而详细地介绍了TCP/IP协议是如何实现的。本书介绍了一个实际的TCP/IP实现，并给出了这一实现的完整源代码，帮助读者全面掌握TCP/IP的实现。本书内容详尽，几乎每章都提供精选的习题，并在附录中提供了部分习题的答案。