《安全远程网络投票协议》共有十三章。系统全面地介绍了远程网络投票协议设计与分析的基本理论、关键技术及成果。主要内容包括远程网络投票协议的分类和模型、外发展现状、安全属性及其实现所需要的关键技术、典型远程网络投票协议、基于符号模型手工方式分析与验证无收据性、应用PI演算、一阶定理证明器ProVerif、基于符号模型自动化分析与验证抗拒绝服务攻击性、无收据性和抗威胁性、概率进程演算、自动化安全协议证明器Crypto‐Verif、基于计算模型自动化分析和验证抗威胁性等。 《安全远程网络投票协议》可供从事安全协议、密码学、计算机、通信和数学等专业的科技人员、硕士和博士研究生参考,也可供高等院校相关专业的师生参考。
本书全面讲解IPv6及相关协议实现的事实标准KAME,从源代码的角度揭示了KAME IPv6协议栈的所有细节,对每行代码到底做了什么,以及为什么要这样设计都进行了解释。全书共分6章,分别介绍IPv6单播路由选择协议、IPv6多播技术、IPv6的DNS DHCPv6、移动IPv6、IPv6与IP安全。每章都包含两个主要部分:部分是相关规范的综述,第二部分则逐行代码地描述和分析实际的实现。 本书是IPv6的参考书,适合网络设计和开发人员阅读。此外,本书还适合作为高校相关专业网络课程的教学参考书。
本书以网络编码为核心,分8篇论文对网络编码的理论、技术、应用进行了比较深入的介绍。内容包括:MANETs中基于网络编码和定向天线的有效广播;网络编码理论研究进展;网络纠错码理论研究;融合网络编码理论的组播交换结构;可分级视频流的化网络传播;网络编码在协作分集中的应用;抗Byzantine攻击的安全网络编码研究;基于网络编码的无线Mesh网络路由协议与应用等。 本书适合广大从事网络编码研究的技术人员阅读参考。
本书全面讲解IPv6及相关协议实现的事实标准KAME,从源代码的角度揭示了KAME IPv6协议栈的所有细节,对每行代码到底做了什么,以及为什么要这样设计都进行了解释。全书共分6章,分别介绍IPv6单播路由选择协议、IPv6多播技术、IPv6的DNS DHCPv6、移动IPv6、IPv6与IP安全。每章都包含两个主要部分:部分是相关规范的综述,第二部分则逐行代码地描述和分析实际的实现。 本书是IPv6的参考书,适合网络设计和开发人员阅读。此外,本书还适合作为高校相关专业网络课程的教学参考书。
《深入解析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网络顾
《深入解析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网络顾
波浪理论是预测趋势的有效工具,其主要价值在于它为市场分析提供了一种前后关系。这种前后关系既为有条理的思考提供了基础,又为市场的总体目标位置及后市发展提供了正确判断。在很多时候,它识别和预测市场走向变化的准确性几乎让人难以置信。
本书系统讲解通信网络领域Xilinx FPGA内部的IP硬核。以流行的Xilinx Virtex-6型号芯片举例,涵盖Xilinx FPGA在通信领域主流的IP核,阐述Xilinx FPGA时钟资源和DCM、PLL和MMCM时钟管理器的特性和使用方法;介绍基于Block RAM资源生成ROM、RAM、FIFO和CAM核的使用过程。阐述TEMAC核背景知识、内部结构、接口时序和配置参数,给出生成实例;介绍LVDS技术规范、源同步实现方案和去偏移技术,讲解Xilinx FPGA中IODELAYE1、ISERDES1和OSERDES核使用方法;阐述Xilinx FPGA DDR3控制器IP核的结构组成、模块划分、接口信号和物理约束等。
本书讲述的是IP地址的管理技术,深入浅出地介绍了IPv6协议。内容包括IPv6的地址管理结构,网络地址规划,子网划分技术,路由问题,组播协议,寻址体系和报头结构等。本书内容丰富,图文并茂,包含大量网络配置实例,适合从事网络协议研究,网络规划的人员参考。
网络现在已成为社会各界和人们工作与生活中信息传递的重要工具之一,而网络处理器是网络中不可或缺的设备之一。本书就是一本专门介绍网络处理器的专著,主要内容包括5部分,分别介绍了网络处理器的发展和现状、基本情况和分组处理过程;网络处理器的体系结构和网络处理的方案;网络处理器的外围支撑芯片,主要有:存储处理器、分类处理器、查找引擎、交换结构、流量管理器;网络处理器的应用;安全协处理器。 本书内容丰富、详实,图文并茂,理论联系实际,有较强的理论指导和工程实践意义,可供从事网络和通信工作的技术人员和管理人员阅读参考。也可作为大专院校网络专业的师生专业课的学习参考书使用。
《TCP/IP详解·卷2:实现(英文版)》是已故网络专家、著名技术作W.RichardStevens的传世之作,内容详尽且具权威性,被誉为TCP/IP领域的不朽名著。《TCP/IP详解卷2:实现(英文版)》是《TCP/IP详解》三卷本的第2卷,重点关注TCP/IP协议的实现问题。书中介绍了一个实际的TCP/IP实现,并给出了这一实现的完整源代码,大约有15000行C代码。此外,几乎每章都提供精选的习题,并在附录中提供了部分习题的答案。 这一卷要求读者对TCP/IP协议的工作原理以及操作系统原理有初步的了解。对TCP/IP协议不是很熟悉的读者应先阅读《TCP/IP详解》的第1卷,该书对TCP/IP协议族有比较透彻的描述。 《TCP/IP详解》对于网络应用的开发人员、网络管理员以及任何想了解TCP/IP协议运行原理的人员来说,都是极好的权威参考书。无论是初学者还是功底深厚的网络领域高手,这套书都应是案
作为网络程序员,你是否发现自己的应用程序远远不够健壮?那么,你需要了解编写高效TCP/IP程序所需的各种知识。本书正是这么一本经典著作,它专注于协议族中那些细微的特性,提炼出的44个技巧可立竿见影地提升编程能力。 《TCP/IP高效编程:改善网络程序的44个技巧》在介绍这些技巧的同时,对TCP/IP编程的基本思想和概念进行了说明,结合大量实例透彻解析了TCP/IP中的实践经验以及法则,还说明了如何避免网络编程中一些最常见的问题。书中提供的框架代码和常用函数库让你能够方便快捷地编写出应用程序,而无需操心一些细枝末节。 书中对下列问题提出了宝贵建议: IP编址、子网以及CIDR的研究 使用套接字接口代替XTI/TLI 使用两条TCP连接 使应用程序成为事件驱动的 使用一次大规模写操作代替多次小规模写操作
《图灵计算机科学丛书?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协议的原理和实现做了全面的介绍,涉及因特网中使用的各种最新的协议和技术。
本书讲述的是IP地址的管理技术,深入浅出地介绍了IPv6协议。内容包括IPv6的地址管理结构,网络地址规划,子网划分技术,路由问题,组播协议,寻址体系和报头结构等。本书内容丰富,图文并茂,包含大量网络配置实例,适合从事网络协议研究,网络规划的人员参考。