第1章  概述 
1.1  協議 
1.1.1  定義 
1.1.2  協議的標準化 
1.2  協議工程 
第2章  協議設計技術 
2.1  協議模型 
2.2  協議設計的基本內容 
2.2.1  協議的通信環境 
2.2.2  協議提供的服務 
2.2.3  協議功能 
2.2.4 素 
2.2.5  協議組織 
2.2.6  協議文本 
2.3  協議設計方法 
2.3.1  協議設計原則 
2.3.2  分層次的協議設計 
2.3.3  自頂向下的協議設計 
2.4  差錯控制技術 
2.4.1  差錯類型 
2.4.2  差錯檢測技術 
2.4.3  差錯控制技術 
2.4.4  差錯控制與層次的關繫 
2.5  流量控制技術 
2.5.1  X-on/X-off協議 
2.5.2  滑動窗口協議 
第3章  協議形式化描述技術 
3.1  概述 
3.2  FSM 
3.2.1  FSM的基本概念 
3.2.2  FSM的簡化 
3.2.3  FSM的錯誤模型 
3.2.4  FSM的合並 
3.2.5  擴展的有限狀態機(EFSM) 
3.3  PetriNet 
3.3.1  Petri網的基本概念 
3.3.2  Petri網的擴充 
3.3.3  Petri網的性質 
3.3.4  Petri網在協議描述中的應用 
3.4  時序邏輯 
3.4.1  基本概念 
3.4.2  時序邏輯繫統 
3.4.3  時序邏輯在協議描述中的應用 
3.5  通信順序進程 
3.5.1  概述 
3.5.2  CSP在協議描述中的應用 
第4章  協議形式描述語言 
第5章  協議驗證技術 
第6章  協議驗證工具 
第7章  協議一致性測試技術 
附錄A  英文縮略詞