网络协议是计算机网络及数据通信的核心，开发正确、有效的网络协议一直是人们追求的目标。协议工程是指集成化、形式化的协议开发过程，其目的是减少协议开发中潜在的错误，提高协议开发的效率和质量。本书以协议工程活动所涉及的各种技术为主线，以介绍基本原理、技术与方法为原则，主要内容包括：协议工程概论、协议设计技术、协议形式化描述技术、协议形式描述语言、协议验证技术、协议验证工具、协议一致性测试技术等。各章均附有讨论题、思考题及参考文献。

📙 相关书籍

  1. 《TCP/IP协议族 第3版·中文导读英文版》高清PDF 本书用图文并茂的方法讲述了技术性很强的内容，但并没有使用复杂的公式。大约超过600张插图与正文一起提供了一种直观的方法来了解这些内容。在解释网络的概念时，插图是特别重要的，因为网络的概念是基于连接和传输。使用插图要比使用文字更容易地理解这些概念。...
  2. 《网络协议本质论》高清PDF 本书按照经典的OSI七层参考模型，分层详细讲述计算机网络的核心原理、协议以及应用开发要点，兼顾对当前计算机网络的热点问题展开讨论，并为读者介绍相关的网络应用工具。本书分八篇共31章，具体组织安排如下：第一篇“计算机网络基础篇”：介绍计算机网络基础知识；第二篇“物理及数据链路层应用精解篇”：介绍计算机......
  3. 《Cisco BGP 4命令与配置手册》高清PDF 本书是一本清晰、简洁与完整的BGP-4命令文档，以配置示例的方式描述了每一条BGP-4命令的详细用法。这些命令包括路由聚合、自动汇总、路由过滤、负载均衡、邻居配置、路由广播、路由重分发、地址汇总、同步、BGP计时器等，此外还包括通用的show、clear、debug等命令。...
  4. 《TCP/IP协议族》高清PDF 本书是介绍tcp/ip协议族的经典图书的最新版本。本书自第1版出版以来，就广受读者欢迎。本书的第3版中文翻译版更是获得“第八届全国高校出版社优秀畅销书一等奖”。本书最新版进行了扩充，以体现计算机网络技术的最新发展，全书含有七大部分共30章和7个附录：第一部分介绍一些基本概念和基础底层技术；第二部分介......
  5. 《TCP/IP高效编程 改善网络程序的44个技巧》高清PDF ...
  6. 《嵌入式Linux网络体系结构设计与TCP/IP协议栈》高清PDF 本书共分12章，第1章概述Linux内核组件与内核技术特点。第2～5章在介绍了实现网络体系结构、协议栈、设备驱动程序的两个最重要的数据结构sk_buff和net_device。第6章讨论了网络协议栈中数据链路层收发数据的设计和实现。第7章讲解了网络层IP协议的实现。第8～9章介绍传输层数据收发过程。......
  7. 《IMS网络部署、运营与未来演进》高清PDF 本书介绍了IMS网络的研发、部署与运营情况。首先阐述了IMS网络架构引入的驱动力、IMS的业务能力及特点以及IMS目前所支持的典型应用业务，并对IMS系统所使用的一些典型技术进行了介绍，重点介绍了IMS现网部署时的相关路由组织原则、数据设置原则和与其他网络互通时相关语音提示设置原则，以及IMS现网所......
  8. 《TCP/IP 路由技术 英文版》高清PDF 本书深入系统地阐述了TCP/IP路由技术，内容包括几种重要的网络协议，如外部网关协议（EGP）、边界网关协议（BGP4），以及相应的高级IP路由技术与应用——网络地址转换、IP组播路由技术、IPv6技术、路由器管理等。本书共分9章，首先介绍并讨论了有关主题的基本原理，接着是设计用来展示实际网络环境中......
  9. 《TCP/IP最佳入门 原书第6版》高清PDF 本书涵盖了网络行业中必备的TCP/IP基础知识，全面讲解了TCP/IP的运作原理。本书从DoD模型、OSI七层模型和TCP/IP协议的关系开始介绍，进而详细介绍了网络接入层、网络互连层、主机对主机层和应用层，接着深入剖析了GGP、EGP、GP和IGP等重要的路由协议，探讨了协议分析和流量分析问题，还......
  10. 《下一代网络通信协议分析》高清PDF 《融合与开放的下一代网络丛书》系统地描述了作者在国家973计划、国家863计划、国家杰出青年科学基金和国家自然科学基金等项目的研究中，对下一代网络原理的分析和理解以及对课题研究成果的归纳和总结。作为丛书的第二册，本书在前几册的介绍基础之上，力争从下一代网络通信协议角度对下一代网络进行深入的阐述。...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。