多播协议PI演算建模与MWB检测

• 作者: 张春永 李祥
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: PI演算 模型检测 多播 PIM_SM协议 嫁接 剪枝
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 30-32
• 页数: 3页
• 分类号: TP393
• 字数: 3428字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.04.011

摘要

MWB是一个基于PI演算的模型检测工具.本文对多播的PIM_SM协议用PI演算建立一个三层模型并进行模型检测,其中主要检测PIM_SM协议中的嫁接和剪枝等;讨论利用PI演算建模的一般方法以及怎样利用MWB工具软件检测模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李祥	贵州大学计算机软件与理论研究所	91	551	13.0	19.0
2	张春永	贵州大学计算机软件与理论研究所	3	10	3.0	3.0