多播组动态管理协议IGMP的形式化分析-地球信息科学学报-云南大学.PDFVIP

( ) , 2002, 24 ( 4) : 256~ 261 CN 53- 1045/ N ISSN 0258- 797 1 Journal of Yunnan Un vers ty IGMP 1 1 1, 2 1 陆正福 , 于光德 , 李亚东 , 王国栋 ( 1. , 650091; 2. , 650021) : IP , IGMP IP . IGMP / , IGMP . : IP ; IGMP; ;Petri ; : TP 393;TP 302 :A :0258- 7971(2002) 04- 0256- 06 IP , IP . ,