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