本書圍繞因特網體繫結構詳細介紹了網絡協議的設計思想、運行機制及仿真分析方法。首先詳細介紹了網絡協議分析及仿真工具的建模步驟和使用方法,然後圍繞因特網中基礎、使用較多、**代表性的協議展開分析,包括數據鏈路層的PPP、以太網和IEEE 802.11等協議,互聯網層用於分組傳遞的IP、ARP、ICMP、NDP、PMTU等協議和用於路由管理的RIP2、OSPF2和BGP4等協議,傳輸層的UDP和TCP協議,以及DNS、DHCP、FTP、SMTP、POP3和HTTP等經典的應用服務協議和SNMP網絡管理協議,後介紹了網絡協議設計和形式化描述的一般原則和方法。 本書所有的案例都基於GNS3、Wireshark和NS3等開源工具,而且對涉及的每一種協議都詳細給出了其特定網絡環境的建模和分析方法,使讀者在學習時可以方便地復現。 本書主要用作網絡工程、信息安全、數據科學和物聯網等專業的本科生課程教學,也可供通信或計算機網絡技術領域的研究生課程教學使用。此外,本書不僅是廣大網絡和信息技術領域工程技術研究人員的參考工具書,對從事互聯網通信繫統設計或網絡協議設計的讀者也有很高的參考價值。