Abstract：The rapid increase of protocol complexity results in a discipline of protocol engineering. This paper mainly introduces the protocol verification and analysis of protocol engineering activities. Firstly it expounds the purpose and method of protocol verificatin,then analyzes the usages of the protocol model technology, and introduces the protocol verification based on Petri nets, FMS and TL model.
收稿日期: 2002-04-25
引用本文:
李艳,肖德宝. 基于不同形式化模型的网络通信协议验证技术的分析与比较[J]. , 2002, 41(4): 0-0.
李艳,肖德宝. Analysis and comparation on the protocol verification of computer network. , 2002, 41(4): 0-0.
