网络协议形式化模型的分析与应用

The Analysis and Application of Protocol Formal Models

网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后,指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。

The formal models of network protocols are one of the core technologies in the analysis and design of the protocols.this paper introduces and analyzes some popular formal models of network protocols,then advances the superiorities of temporal logic which is compared to the other formal models of network protocols which people usually use，at last，this paper gives an example about the formal description of IGMP based on a linear temporal logic named MPTL。