网络协议的形式化分析与设计_link管理

添加链接

注册登录

link管理

链接快照平台

输入网页链接，自动生成快照
标签化管理网页链接

相关文章推荐

坚强的稀饭 · 股价暴跌超90%！“小米链”怎么了|小米_新 ...· 10 月前 ·

怕考试的签字笔 · python笔记-20 django进阶 ...· 1 年前 ·

淡定的仙人球 · 球击梦想，青春碰撞！2024年香花桥街道中式 ...· 1 年前 ·

傲视众生的苦咖啡 · CSS布局——导航栏悬浮滚动更改背景色_cs ...· 1 年前 ·

大力的勺子 · R语言用Rshiny探索lme4广义线性混合 ...· 1 年前 ·

第1章网络协议及开发概论

1.1 早期的通信及协议

1.1.1 早期的通信系统

1.1.2 协议缺陷的教训

1.2 通信与计算机的结合

1.2.1 数据通信

1.2.2 计算机网络

1.3 网络协议及其基本元素

1.3.1 网络协议的定义

1.3.2 网络协议的基本要素

1.3.3 简单协议的分析

1.4 分层结构与 osi模型

1.4.1 分层结构的意义

1.4.2 osi模型

1.5 网络协议的开发过程

思考与练习

第2章协议的形式化模型

2.1 有限状态机（fsm）

2.1.1 fsm的基本定义

2.1.2 fsm的化简与复合

.2.1.3 协议的fsm模型

2.2 petri网

2.2.1 petri网的基本定义

2.2.2 petri网的性质

2.2.3 petri网的分析

2.2.4 协议的petri网模型

2.3 时态逻辑(tl)

2.3.1 基本术语

2.3.2 时态逻辑系统

2.3.3 协议的tl模型

2.4 通信进程演算

2.4.1 ccs的基本定义

2.4.2 ccs的扩展

2.4.3 协议的ccs模型

思考与练习

第3章网络协议的形式描述语言

3.1 estelle

3.1.1 概述

3.1.2 模块及相关概念

3.1.3 模块通信

3.1.4 状态转换

3.1.5 estelle描述举例

3.2 lotos

3.2.1 概述

3.2.2 进程及相关概念

3.2.3 行为算子

3.2.4 抽象数据类型

3.2.5 lotos描述举例

3.3 sdl

3.3.1 概述

3.3.2 结构的定义

3.3.3 进程的行为

3.3.4 通信机制

3.3.5 数据

3.3.6 sdl描述举例

思考与练习

第4章协议的形式化验证

4.1 协议性质概述

4.2 系统断言语言

4.2.1 字符串及其运算

4.2.2 抽象结构

4.2.3 断言语言ctl

4.2.4 ctl算子的不动点特性

4.2.5 ctl描述举例

4.3 不变性分析

4.4 可达性分析

4.5 符号模型检验

4.5.1 有序二叉判决图

4.5.2 基于obdd的符号模型检验

思考与练习

第5章协议的形式化综合

5.1 概述

5.2 fsm网及其性质

5.3 协议的串行综合

5.4 协议的交替功能综合

5.5 冲突和同步的解决方法

5.5.1 竞争冲突解决策略

5.5.2 冲突标识方法

5.5.3 同步的充要条件

思考与练习

第6章网络协议的测试

6.1 协议测试概述

6.1.1 一致性测试

6.1.2 故障模型

6.1.3 协议测试结构

6.1.4 协议测试级别

6.1.5 协议测试流程

6.2 协议测试语言ttcn

6.2.1 ttcn简介

6.2.2 ttcn－3核心语言

6.2.3 简单测试案例

6.3 控制流测试序列设计

6.3.1 测试的基本假设

6.3.2 测试序列生成算法

6.4 数据流测试序列设计

6.4.1 数据流测试的概念

6.4.2 数据流测试序列生成

思考与练习

第7章协议的分析验证工具

7.1 spin工具

7.1.1 概述

7.1.2 promela语言

7.1.3 spin的应用

7.2 smv工具

7.2.1 概述

7.2.2 smv输入语言

7.2.3 smv的应用

思考与练习

第8章电子商务协议的形式化分析

8.1 电子商务协议设计概述

8.2 典型电子商务协议

8.2.1 set协议

8.2.2 netbill协议

8.2.3 digicash协议

8.3 电子商务协议的逻辑分析

8.3.1 逻辑分析概述

8.3.2 ban逻辑

8.3.3 kailar逻辑

8.4 电子商务协议的模型检验分析

8.4.1 模型检验分析概述

8.4.2 安全性的模型检验分析

8.4.3 原子性的模型检验分析

思考与练习

参考文献

推荐文章

坚强的稀饭 · 股价暴跌超90%！“小米链”怎么了|小米_新浪财经_新浪网

10 月前

怕考试的签字笔 · python笔记-20 django进阶（model与form、modelform对比，三种ajax方式的对比，随机验证码，kindeditor） - yomi_note - 博客园

1 年前

淡定的仙人球 · 球击梦想，青春碰撞！2024年香花桥街道中式台球青年友谊赛火热开赛_青浦要闻_新闻中心_上海市青浦区人民政府

1 年前

傲视众生的苦咖啡 · CSS布局——导航栏悬浮滚动更改背景色_css网页导航滑动更变背景色-CSDN博客

1 年前

大力的勺子 · R语言用Rshiny探索lme4广义线性混合模型（GLMM）和线性混合模型（LMM）-腾讯云开发者社区-腾讯云

1 年前

Link管理 · Sov5搜索 · 小百科

link管理 - 链接快照平台