| 协议描述和验证的基本方法 |
| |
| 引用本文： | 罗军舟 顾冠群. 协议描述和验证的基本方法[J]. 东南大学学报(自然科学版), 1996, 26(5): 1-4 |
| |
| 作者姓名： | 罗军舟 顾冠群 |
| |
| 作者单位： | 东南大学计算机科学与工程系 |
| |
| 基金项目： | 国家自然科学基金 ,江苏省自然科学基金 |
| |
| 摘 要： | 简要说明了协议描述和验证的基本概念，示例地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例。
|
| 关 键 词： | 计算机网络 协议描述 协议验证 Petri网 |
Basic Method for Protocol Specification and Verification |
| |
| Luo Junzhou Gu Guanqun. Basic Method for Protocol Specification and Verification[J]. Journal of Southeast University(Natural Science Edition), 1996, 26(5): 1-4 |
| |
| Authors: | Luo Junzhou Gu Guanqun |
| |
| Abstract: | The basic concepts of protocol specification and verification are presented briefly, and the basic ideas are given by means of examples with respect to the construction of specifications for implementation and protocol verification. Finally, AB protocol based on Petri nets is illustrated as an example. |
| |
| Keywords: | computer network protocol engineering protocol specification protocol verification Petri net |
| 本文献已被 CNKI 维普 等数据库收录！ |
