| 多播组动态管理协议IGMP的形式化分析 |
| |
| 引用本文： | 陆正福,于光德,李亚东,王国栋. 多播组动态管理协议IGMP的形式化分析[J]. 云南大学学报(自然科学版), 2002, 24(4): 256-261 |
| |
| 作者姓名： | 陆正福 于光德 李亚东 王国栋 |
| |
| 作者单位： | 1. 云南大学数学系,云南昆明,650091
2. 云南大学数学系,云南昆明,650091;云南省财政厅,云南昆明,650021 |
| |
| 基金项目： | 云南省教育厅科研基金资助项目 ( 0 11115 5 )，云南省院省校合作项目:金融数学学科建设 |
| |
| 摘 要： | 随着IP网络多播技术的发展,IGMP在IP协议栈中的作用越来越重要.在对IGMP详细的机制分析的基础上用扩展的有限自动机和扩展的库所/变迁网对其进行了形式化的描述,从而奠定了IGMP协议分析和具体实现的基础.
|
| 关 键 词： | IP多播 IGMP 有限自动机 Petri网 协议工程学 |
| 文章编号： | 0258-7971(2002)04-0256-06 |
| 修稿时间： | 2001-12-20 |
A formal analysis of multicast group dynamic management protocol IGMP |
| |
| LU Zheng-fu ,YU Gang-de ,LI Ya-dong ,,Wang Guo-dong. A formal analysis of multicast group dynamic management protocol IGMP[J]. Journal of Yunnan University(Natural Sciences), 2002, 24(4): 256-261 |
| |
| Authors: | LU Zheng-fu YU Gang-de LI Ya-dong Wang Guo-dong |
| |
| Affiliation: | LU Zheng-fu 1,YU Gang-de 1,LI Ya-dong 1,2,Wang Guo-dong 1 |
| |
| Abstract: | With the development of IP multicast communication,IGMP play an prominent role in IP protocol stack.A formal protocol des 6iption of IGMP with extended finite state machine and extended place/transition net on the base of the detailed mechanism analysis is presented,thus lay a solid foundation for analysis and implementation of the IGMP protocol. |
| |
| Keywords: | IP Multicast IGMP extended finite state machine Petri net protocol engineering |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《云南大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《云南大学学报(自然科学版)》下载全文 |
