摘要
简要说明了协议描述和验证的基本概念，示例性地介绍构造实现描述和协议验证的基本思想，最后以Ｐｅｔｒｉ网形式给出了ＡＢ协议一例．
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.
出处
《东南大学学报（自然科学版）》
EI
CAS
CSCD
1996年第5期1-4,共4页
Journal of Southeast University：Natural Science Edition
基金
国家自然科学基金
江苏省自然科学基金
关键词
计算机网络
协议描述
协议验证
PETRI网
computer network
protocol engineering
protocol specification
protocol verification
Petri net
