| 通信协议分析的一种新方法 |
| |
| 引用本文： | 匡雷,聂涛.通信协议分析的一种新方法[J].北京交通大学学报(自然科学版),1987(1). |
| |
| 作者姓名： | 匡雷 聂涛 |
| |
| 作者单位： | 北方交通大学通信与控制工程系，北方交通大学通信与控制工程系 |
| |
| 摘 要： | 本文提出一种用于协议分析的新方法,它以本文提出的带有参数计数器的有限状态自动机为基础,对协议模型进行可达性分析。这种方法不仅解决了“状态爆炸问题”,并有利于实现自动验证。由所生成的可达树,可以构成马尔可夫链模型,并由此确定协议的性能。文中讨论了马尔可夫链模型的性质与建立过程,并进行了吸收分析。最后,给出了简单分组传输协议的例子,以说明方法的应用。
|
| 关 键 词： | 计算机通信 通信协议 |
A New Method of Protocol Analysis |
| |
| Kuang Lei,Nie Tao.A New Method of Protocol Analysis[J].JOURNAL OF BEIJING JIAOTONG UNIVERSITY,1987(1). |
| |
| Authors: | Kuang Lei Nie Tao |
| |
| Institution: | Kuang Lei;Nie Tao |
| |
| Abstract: | |
| |
| Keywords: | computer communication communication protocol |
| 本文献已被 CNKI 等数据库收录！ |
|
