| 网络协议形式化模型的分析与应用 |
| |
| 引用本文： | 张广泉,黄正宝,戎玫. 网络协议形式化模型的分析与应用[J]. 计算机工程与应用, 2005, 41(23): 121-124 |
| |
| 作者姓名： | 张广泉 黄正宝 戎玫 |
| |
| 作者单位： | 苏州大学计算机科学与技术学院,苏州,215006;重庆师范大学数学与计算机科学学院,重庆,400047;苏州大学计算机科学与技术学院,苏州,215006;暨南大学深圳旅游学院计算机中心,深圳,518053 |
| |
| 基金项目： | 国家863高科技研究发展计划课题（编号：2001AA113200）;中国科学院计算机科学重点实验室开放课题（编号：SYSKF0303）;重庆市教委科学技术项目（编号：040803） |
| |
| 摘 要： | 网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后,指出时序逻辑作为网络协议形式化模型的独特优越性,然后给出用一种线性时序逻辑MPTL描述IGMP协议的具体实例。
|
| 关 键 词： | 网络协议 形式化模型 时序逻辑 协议描述 IGMP协议 |
| 文章编号： | 1002-8331-（2005）23-0121-04 |
| 收稿时间： | 2005-01-01 |
| 修稿时间： | 2005-01-01 |
The Analysis and Application of Protocol Formal Models |
| |
| Zhang Guangquan,Huang Zhengbao,Rong Mei. The Analysis and Application of Protocol Formal Models[J]. Computer Engineering and Applications, 2005, 41(23): 121-124 |
| |
| Authors: | Zhang Guangquan Huang Zhengbao Rong Mei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
