计算机网络通信协议验证技术的研究

Study on the Protocol Verification of Computer Network

协议设计、开发的复杂性的增加导致了协议工程技术的出现，该文主要介绍了协议工程活动中的协议验证与分析阶段，阐述了验证技术的目的与方法，分析了当今常用的协议模型技术，重点介绍了基于Petri网、FMS、以及时序逻辑TL模型的协议验证技术。

The rapid increasement of protocol complexity results in a discipline of protocol engineering. This paper mainly introduces the protocol verification and analysis of protocol engineering activities, expounds the purpose and method of protocol verificatin ,then analyzes the protocol model technology in common use , and introduces the protocol verification based on Petri Nets, FMS and TL model .