多播组动态管理协议IGMP的形式化分析  

A formal analysis of multicast group dynamic management protocol IGMP

作　　者：陆正福[1] 于光德[1] 李亚东[1] 王国栋[1] 

机构地区：[1]云南大学数学系,云南昆明650091

出　　处：《云南大学学报（自然科学版）》2002年第4期256-261,共6页Journal of Yunnan University(Natural Sciences Edition)

基　　金：云南省教育厅科研基金资助项目 ( 0 11115 5 );云南省院省校合作项目:金融数学学科建设

摘　　要：随着IP网络多播技术的发展 ,IGMP在IP协议栈中的作用越来越重要 .在对IGMP详细的机制分析的基础上用扩展的有限自动机和扩展的库所 /变迁网对其进行了形式化的描述 。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.

关 键 词：多播组动态管理协议 IGMP 形式化 有限自动机 PETRI网 协议工程学 

分 类 号：TN915.04[电子电信—通信与信息系统]