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

摘要：

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

关键词：网络协议、形式化模型、时序逻辑、协议描述、IGMP协议

所属期刊栏目：41

分类号：TP393(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2001AA113200;中国科学院重点实验室基金SYSKF0303;重庆市教委资助项目O40803

在线出版日期：2005-11-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：121-124