计算机网络协议工程pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

计算机网络协议工程PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一章 协议工程概论 1

1.1 协议及系统的相互作用 1

1.1.1 分层嵌套系统模型 1

1.1.2 系统的相互作用 2

1.1.3 事件与活动 2

1.1.4 协议及协议的描述 2

1.1.5 OSI模型 3

1.2 协议开发过程 5

1.3 协议工程的研究内容 6

1.3.1 协议工程的定义 6

1.3.2 协议设计技术 9

1.3.3 协议模型及形式描述技术 9

1.3.4 协议验证分析技术 10

1.3.5 协议实现技术 10

1.4 协议开发工具 11

1.3.6 协议测试技术 11

第二章 协议构造技术 15

2.1 引言 15

2.2 协议构造过程 15

2.2.1 协议环境 15

2.2.2 协议功能和协议机制 20

2.2.3 协议元素 22

2.2.4 协议组织 23

2.3 协议构造方法 24

2.2.5 协议文本 24

2.4 ISO T层协议的构造 26

2.4.1 T层用户要求 26

2.4.2 N层通道特性 26

2.4.3 T层协议功能和协议机制 27

2.4.4 T层协议的组织 27

2.4.5 T层协议元素 28

2.4.6 T层协议文本 32

思考题 33

第三章 协议模型技术 35

3.1 引言 35

3.1.1 协议性质 35

3.1.2 协议元素性质 37

3.1.3 通道类别 38

3.1.4 协议模型的选取 38

3.2 有限状态机(FSM) 38

3.2.1 FSM定义 38

3.2.2 通道FSM 39

3.2.3 协议实体FSM 40

3.2.4 FSM简化 41

3.2.5 FSM合成 42

3.2.6 FSM扩充 44

3.3 Petri网 44

3.3.1 Petri网概念 44

3.3.2 Petri网特性 46

3.3.3 Petri网扩充 47

3.3.4 协议实体Petri网 48

3.3.5 通道Petri网 49

3.3.6 Petri网的替换与合成 50

3.3.7 办议并发性表示 51

3.4 时序逻辑(TL) 52

3.4.1 名词术语 52

3.4.2 时序逻辑系统 54

3.4.3 AB协议的TL描述 55

3.4.4 协议的TL描述方法 57

3.5 通讯进度演算(CCS) 59

3.5.1 CCS算子 59

3.5.2 变换规则 60

3.5.3 CCS的发展 61

3.5.4 AB协议的CCS描述 62

3.5.5 CCS的应用要点 64

思考题 65

4.1 引言 67

第四章 协议形式描述语言 67

4.2 ESTELLE概述 68

4.2.1 模块概念 68

4.2.2 模块通讯 71

4.2.3 状态转换的描述 74

4.2.4 AB协议的ESTELLE描述 75

4.2.5 ESTELLE的特点与应用方法 81

4.3 LOTOS概述 81

4.3.1 进程定义 81

4.3.2 行为算子 82

4.3.3 抽象数据类型 84

4.3.4 门径(gates) 85

4.3.5 AB协议的LOTOS描述 86

4.3.6 LOTOS的特点与应用方法 91

思考题 91

5.2.1 穷尽可达性分析 94

5.2 可达性分析 94

5.1 概述 94

第五章 协议验证技术 94

5.2.2 非穷尽可达性分析 97

5.2.3 协议错误的检测方法 99

5.3 不变性分析 101

5.3.1 不变性证明系统 101

5.3.2 不变性监测系统 103

5.4 等价性分析 103

5.4.1 基于FSM的观察等价性分析 104

5.4.2 基于CCS的观察等价性分析 106

思考题 107

第六章 协议综合技术 108

6.1 概述 108

6.2 多阶段协议的综合方法 109

6.2.1 CFSM网 109

6.2.2 阶段(phase)定义 111

6.2.3 多阶段网的联接规则 112

6.3.2 碰撞问题 113

6.3 交替功能协议的综合方法 113

6.3.1 同步问题 113

6.3.3 交替功能协议的组合规则 115

6.3.4 同步条件 117

6.4 单功能协议的综合方法 118

6.4.1 生成规则(production rules) 118

6.4.2 生成规则的使用要点 120

思考题 121

第七章 协议实现技术 123

7.1 概述 123

7.2 协议代码半自动生成技术 125

7.3 模块通讯的实现方法 128

7.4 数据缓冲技术 132

7.4.1 缓冲器指针传递方法 132

7.4.2 共享缓冲区的分配与管理 133

7.4.3 接收缓冲区的分配与管理 135

7.5 协议并行处理技术 136

思考题 139

第八章 协议一致性测试 140

8.1 基本概念 140

8.1.1 一致性定义 140

8.1.2 测试模型 140

8.1.3 测试工作流程 141

8.1.4 测试级别 143

8.1.5 要考虑的问题 145

8.2 测试方法 145

8.3 测试描述语言TTCN 149

8.4 测试序列生成方法 157

8.4.1 测试序列生成的基本算法 158

8.4.2 测试序列生成的修正算法 159

8.4.3 最短转换游程 160

8.4.4 特征序列的形成 162

8.4.5 使用特征序列的最短测试序列 163

思考题 165