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

A formal analysis of multicast group dynamic management protocol IGMP

随着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.