节点文献
网络协议形式化模型的分析与应用
The Analysis and Application of Protocol Formal Models
【摘要】 网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后,指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。
【Abstract】 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.
【关键词】 网络协议；
形式化模型；
时序逻辑；
协议描述；
IGMP协议；
【Key words】 network protocol； fomal model； temporal logic； protocol description； IGMP；
【Key words】 network protocol； fomal model； temporal logic； protocol description； IGMP；
【基金】 国家863高科技研究发展计划课题(编号:2001AA113200);中国科学院计算机科学重点实验室开放课题(编号:SYSKF0303);重庆市教委科学技术项目(编号:040803)
- 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2005年23期
- 【分类号】TP393.04
- 【被引频次】12
- 【下载频次】322