本书首先阐述了为什么要发展和部署IPv6，然后详细介绍了IPv6的内容，以及IPv4与IPv6互通的技术。本书还详细描述了如何评估IPv6准备情况，如何进行IPv6地址规划，如何进行IPv6安全规划和管理规划，如何部署和管理IPv6网络，如何管理IPv4/IPv6网络等相关的策略和技术。最后，本书对IPv6和因特网进行了展望。

就我国现行的网络虚拟空间来说，只有一些相应的行政规章来加以规范和调整。严格意义上的网络法律，我国现在还没有颁布。但随着网络实践的不断深入和网络越来越融入生活，成为社会关系必须调整的一部分之际，也就是不久的将来，一部完整的规范网络的法律会呈现在我们的面前。

本书首先阐述了为什么要发展和部署IPv6，然后详细介绍了IPv6的内容，以及IPv4与IPv6互通的技术。本书还详细描述了如何评估IPv6准备情况，如何进行IPv6地址规划，如何进行IPv6安全规划和管理规划，如何部署和管理IPv6网络，如何管理IPv4/IPv6网络等相关的策略和技术。最后，本书对IPv6和因特网进行了展望。

波浪理论是预测趋势的有效工具，其主要价值在于它为市场分析提供了一种前后关系。这种前后关系既为有条理的思考提供了基础，又为市场的总体目标位置及后市发展提供了正确判断。在很多时候，它识别和预测市场走向变化的准确性几乎让人难以置信。

随着因特网的发展与普及，在给整个人类社会带来繁荣与昌盛的同时，网络安全隐患无处不在，并已成为不容忽视的社会问题，加强信息的安全性刻不容缓，而众多人士的安全防范手段趋近于零。本书就是在这种大环境背景下诞生的。 本书是“TCP/IP系列”之一。书中结合网络的基本通信协议——TCP/IP，向读者介绍因特网及网络安全的基础知识，并展示了多种防范隐患的方法。本书内容丰富、图文并茂、形式活泼、通俗易懂，可谓网上冲浪的“保护伞”。 本书作为计算机、网络、信息专业的工程技术人员的常备用书，也可作为大中专院校相关专业学生的参考用书，还可供一切网上冲浪爱好者学习使用。

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