陆正福, 于光德, 李亚东, 王国栋. 多播组动态管理协议IGMP的形式化分析[J]. 云南大学学报(自然科学版), 2002, 24(4): 256-261.
引用本文: 陆正福, 于光德, 李亚东, 王国栋. 多播组动态管理协议IGMP的形式化分析[J]. 云南大学学报(自然科学版), 2002, 24(4): 256-261.
shu
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 Edition, 2002, 24(4): 256-261.
Citation: 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 Edition, 2002, 24(4): 256-261.
shu

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

A formal analysis of multicast group dynamic management protocol IGMP

    摘要
  • 摘要: 随着IP网络多播技术的发展,IGMP在IP协议栈中的作用越来越重要.在对IGMP详细的机制分析的基础上用扩展的有限自动机和扩展的库所/变迁网对其进行了形式化的描述,从而奠定了IGMP协议分析和具体实现的基础.

     

    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.

     

    • HTML全文
    • 参考文献(0)
    • 相关文章
    • 施引文献
  • 资源附件(0)

/

返回文章
返回