第2版权威学习地图
按3篇前置材料、18章、缩略语表和索引组织491个正式节点
第2版权威学习地图
本课程锁定Kevin R. Fall、W. Richard Stevens著《TCP/IP Illustrated, Volume 1: The Protocols, Second Edition》，Addison-Wesley Professional，2011年11月首印、版权2012年，1056页，ISBN 9780321336316；吴英、张玉、许昱玮译《TCP/IP详解 卷1：协议（原书第2版）》，机械工业出版社，2016年6月，683页，ISBN 9787111453833。InformIT/Pearson正式目录与出版社预览确认3篇前置材料、18章、468个编号节/小节、缩略语表和索引，共23个正式单元、491个正式节点；旧10页泛化课程已整体替换。
从可证伪的协议预测开始
本页主问题是：按3篇前置材料、18章、缩略语表和索引组织491个正式节点。先写预测，再固定端点、接口、路由、MTU、时钟、实现版本与抓包位置。验收不变量是：491个节点都有唯一归属页面、协议实验、复习题和相邻导航。反例是：旧10页主题课遗漏地址结构、ARP、DHCP、NAT、DNS、TCP状态与安全等正式章节。最终应用错误、协议标签或单张截图都只是线索，不能独立证明根因。
核心词汇与第2版边界
、、、、 版次固定在2011年英文第2版与2016年中译本。保留原书明确讲授的IPv6、DNS64、TLS 1.2、DTLS、BIC/CUBIC、EAP、IPsec、DNSSEC和DKIM；QUIC、HTTP/3、TLS 1.3、WPA3、BBR等后续主题只能另作比较，不能替换正式节点。
五层协议证据模型
第一层：先确定观察边界
画出端点、接口、交换/路由节点、NAT或隧道，并标出抓包点能看到和看不到的流量。保存接口、链路类型、MTU、地址、路由表、时间源和实现版本；否则本机卸载、镜像丢包或非对称路径会被误判为协议行为。
第二层：让原始字节约束解释
对关键报文同时保留时间、方向、五元组、链路封装、十六进制偏移和解析字段。校验长度、标志、校验和与上下层边界；解析器、名称解析和专家提示都是可变解释层，必须接受原始字节反证。
第三层：按状态和计时器重建因果
把请求/响应、Seq/Ack、租约、成员关系、缓存、重传或密钥协商排成有方向的时间线。明确每个输入触发的状态转移、计时器启动/取消和输出报文，先找到首个不满足预测的事件，再解释传播。
第四层：做单变量对照
固定拓扑、流量和实现，只改变一个地址、选项、计时器、规则、窗口或丢包条件。保存正常、故障和恢复三段记录，并列出至少一个竞争解释；只有能排除竞争解释，才能把相关性提升为根因。
第五层：关闭独立证据门
复核者只拿只读报文、哈希、命令、配置和预期输出，必须能定位同一个首个偏差并得到同一结论。历史工具或字段与现代实现不同时，分别记录第2版行为和现代差异，不能静默改写原书。
observation = edition + topology + capture_point + direction + raw_bytes
mechanism = input + protocol_state + timer + output + invariant
claim = prediction + first_deviation + competing_hypothesis + recovery原书目录逐节点重构
推荐序
把“推荐序”作为检索与版本入口：记录定义来源、适用层次、首次出现位置和与“按3篇前置材料、18章、缩略语表和索引组织491个正式节点”的关系。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“推荐序”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。 同时画出本单元与上一层、下一层协议的接口。
第2版前言
把“第2版前言”作为检索与版本入口：记录定义来源、适用层次、首次出现位置和与“按3篇前置材料、18章、缩略语表和索引组织491个正式节点”的关系。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第2版前言”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第1版前言（修订收录）
把“第1版前言（修订收录）”作为检索与版本入口：记录定义来源、适用层次、首次出现位置和与“按3篇前置材料、18章、缩略语表和索引组织491个正式节点”的关系。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第1版前言（修订收录）”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第1章 概述
把“第1章 概述”放回“按3篇前置材料、18章、缩略语表和索引组织491个正式节点”的协议路径，标注输入、状态、报文字段、输出与最小失败反例。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第1章 概述”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第2章 Internet地址结构
对“第2章 Internet地址结构”写出位级表示、前缀边界、作用域和正反例，并用两个相邻前缀验证聚合或匹配结果。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第2章 Internet地址结构”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第3章 链路层
把“第3章 链路层”定位到同一链路的帧格式、邻接关系、介质访问和MTU边界；同时记录抓包位置看不到什么。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第3章 链路层”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第4章 地址解析协议
对“第4章 地址解析协议”写出位级表示、前缀边界、作用域和正反例，并用两个相邻前缀验证聚合或匹配结果。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第4章 地址解析协议”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第5章 Internet协议
把“第5章 Internet协议”放回“按3篇前置材料、18章、缩略语表和索引组织491个正式节点”的协议路径，标注输入、状态、报文字段、输出与最小失败反例。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第5章 Internet协议”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第6章 系统配置：DHCP和自动配置
为“第6章 系统配置：DHCP和自动配置”画出客户端、中继与服务器消息序列，标记事务标识、选项、租约计时器、地址状态和失败回退。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第6章 系统配置：DHCP和自动配置”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第7章 防火墙和网络地址转换
对“第7章 防火墙和网络地址转换”写出位级表示、前缀边界、作用域和正反例，并用两个相邻前缀验证聚合或匹配结果。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第7章 防火墙和网络地址转换”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第8章 ICMPv4和ICMPv6：Internet控制报文协议
对“第8章 ICMPv4和ICMPv6：Internet控制报文协议”记录协议版本、类型、代码、引用的原报文与发送限制；用一个允许样本和一个禁止样本验证触发条件。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第8章 ICMPv4和ICMPv6：Internet控制报文协议”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第9章 广播和本地组播（IGMP和MLD）
为“第9章 广播和本地组播（IGMP和MLD）”标出组地址、接口、成员状态、查询/报告计时器和二层映射，区分主机成员关系与路由转发。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第9章 广播和本地组播（IGMP和MLD）”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第10章 用户数据报协议和IP分片
从“第10章 用户数据报协议和IP分片”的长度、校验和、标识、片偏移、更多分片标志和重组键重建完整数据报，并验证截断与超时反例。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第10章 用户数据报协议和IP分片”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第11章 名称解析和域名系统
把“第11章 名称解析和域名系统”还原为查询名/类型、事务ID、权威链、资源记录、TTL、缓存层与UDP/TCP传输选择。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第11章 名称解析和域名系统”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第12章 TCP：传输控制协议（初步）
把“第12章 TCP：传输控制协议（初步）”放进TCP字节序号和状态机：记录四元组、Seq/Ack、标志、窗口、选项、计时器和应用读写边界。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第12章 TCP：传输控制协议（初步）”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第13章 TCP连接管理
把“第13章 TCP连接管理”放进TCP字节序号和状态机：记录四元组、Seq/Ack、标志、窗口、选项、计时器和应用读写边界。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第13章 TCP连接管理”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第14章 TCP超时与重传
围绕“第14章 TCP超时与重传”排列原始发送、ACK/SACK、RTT样本、计时器到期与重发，加入重排或抓包重复作为竞争解释。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第14章 TCP超时与重传”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第15章 TCP数据流与窗口管理
把“第15章 TCP数据流与窗口管理”放进TCP字节序号和状态机：记录四元组、Seq/Ack、标志、窗口、选项、计时器和应用读写边界。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第15章 TCP数据流与窗口管理”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第16章 TCP拥塞控制
对“第16章 TCP拥塞控制”逐事件更新cwnd、ssthresh与flight size，说明ACK或丢失信号为何触发当前分支，并与接收窗口分离。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第16章 TCP拥塞控制”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第17章 TCP保活机制
把“第17章 TCP保活机制”放进TCP字节序号和状态机：记录四元组、Seq/Ack、标志、窗口、选项、计时器和应用读写边界。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第17章 TCP保活机制”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
第18章 安全：可扩展身份认证协议、IP安全协议、传输层安全、DNS安全、域名密钥识别邮件
把“第18章 安全：可扩展身份认证协议、IP安全协议、传输层安全、DNS安全、域名密钥识别邮件”还原为查询名/类型、事务ID、权威链、资源记录、TTL、缓存层与UDP/TCP传输选择。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“第18章 安全：可扩展身份认证协议、IP安全协议、传输层安全、DNS安全、域名密钥识别邮件”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
缩略语表
把“缩略语表”作为检索与版本入口：记录定义来源、适用层次、首次出现位置和与“按3篇前置材料、18章、缩略语表和索引组织491个正式节点”的关系。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“缩略语表”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
索引
把“索引”作为检索与版本入口：记录定义来源、适用层次、首次出现位置和与“按3篇前置材料、18章、缩略语表和索引组织491个正式节点”的关系。 验收时固定其余条件，只改变一个字段、状态、计时器或路径变量；保存预测、原始报文、首个偏差、恢复结果与复核人。
协议级核查： 为“索引”给出一个正常样本、一个最小反例和一个可独立复现的判定条件，不能只引用最终应用报错。
本页完整节点清单
- 推荐序
- 第2版前言
- 第1版前言（修订收录）
- 第1章 概述
- 第2章 Internet地址结构
- 第3章 链路层
- 第4章 地址解析协议
- 第5章 Internet协议
- 第6章 系统配置：DHCP和自动配置
- 第7章 防火墙和网络地址转换
- 第8章 ICMPv4和ICMPv6：Internet控制报文协议
- 第9章 广播和本地组播（IGMP和MLD）
- 第10章 用户数据报协议和IP分片
- 第11章 名称解析和域名系统
- 第12章 TCP：传输控制协议（初步）
- 第13章 TCP连接管理
- 第14章 TCP超时与重传
- 第15章 TCP数据流与窗口管理
- 第16章 TCP拥塞控制
- 第17章 TCP保活机制
- 第18章 安全：可扩展身份认证协议、IP安全协议、传输层安全、DNS安全、域名密钥识别邮件
- 缩略语表
- 索引
可复现实验记录
packet = timestamp + direction + five_tuple + header_fields + raw_offset
state = before + event + guard + action + timer + after
audit = expected + observed + first_difference + alternative + recoverytcpdump -nn -s0 -w tip2-lab.pcap 'host 192.0.2.10'
tshark -r tip2-lab.pcap -T fields -e frame.number -e frame.time_relative -e ip.src -e ip.dst -e tcp.seq -e tcp.ack动手试：采集一次正常事务、一次单变量故障和一次恢复事务。对每条结论记录文件哈希、关键帧、字节偏移、状态前后值、竞争解释和独立复核结果。
独立证据门
最小证据包包含：正式节点、版次、拓扑、抓包位置、原始报文哈希、字段偏移、状态/计时器、单变量故障、恢复、偏差、责任人与复核人。
练习
本章回顾
“第2版权威学习地图”的核心是按3篇前置材料、18章、缩略语表和索引组织491个正式节点。真正掌握不是记住名词，而是能从原始字节、状态机、计时器和单变量反例证明协议为何如此运行。