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

• 作者: 于光德 李亚东 王国栋 陆正福
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: IP多播 IGMP Petri网 协议工程学
• 年，卷（期）: 2002,（7）
• 所属期刊栏目: 研究与设计
• 页码范围: 12-14,17
• 页数: 4页
• 分类号: TP393|TP302
• 字数: 4194字
• 语种: 中文

摘要

文中在对IGMP详细的机制分析的基础上用扩展的库所/变迁网对其进行了形式化的描述,从而奠定了IGMP协议分析和具体实现的基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆正福	云南大学数学系	64	236	8.0	11.0
2	于光德	云南大学数学系	4	43	4.0	4.0
3	王国栋	云南大学数学系	17	83	6.0	8.0
4	李亚东	云南大学数学系	5	46	3.0	5.0