基于LOTOS的PIM-SM协议形式化分析

摘要：

PIM-SM协议是目前应用最为广泛的域内组播路由协议,但它的标准化进程仍处在实验阶段,协议本身需要不断发展完善,有必要使用形式化方法对其进行研究.本文基于协议工程学理论和LOTOS形式化技术,提出PIM-SM组播系统的抽象模型,重点给出协议实体的部分形式化描述,最后使用CADP工具集对其进行验证.

关键词： PIM SM 形式化方法 路由协议

作者: 李樱 王永滨 冯爽

作者单位: 中国传媒大学计算机与软件学院,100024

会议类型: 国内会议

会议名称: 2006北京地区高校研究生学术交流会

会议地点: 北京

会议语种:中文

页码: 972-976

在线出版日期: 2006-12-22（万方平台首次上网日期，不代表论文的发表时间）