首页> 中文期刊> 《计算机工程与科学》 >多播协议PI演算建模与MWB检测

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

文献数据库（团队版） >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程与科学》 |2008年第4期|30-32|共3页
作者
张春永; 李祥;
展开▼
作者单位

贵州大学计算机软件与理论研究所;

贵州;

贵阳;

550025;

贵州大学计算机软件与理论研究所;

贵州;

贵阳;

550025;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
PI演算; 模型检测; 多播; PIM_SM协议; 嫁接; 剪枝;

相似文献

中文文献
外文文献
专利

1. 基于应用Pi演算的WTLS握手协议建模与分析 [J] . 潘进 ,顾香 ,王小明 . 西安邮电学院学报 . 2015,第002期
2. 基于应用Pi演算的WTLS握手协议建模与分析 [J] . 潘进 ,顾香 ,王小明 . 西安邮电大学学报 . 2015,第002期
3. C2P:基于Pi演算的协议C代码形式化抽象方法和工具 [J] . 张协力 ,祝跃飞 ,顾纯祥 . 软件学报 . 2021,第006期
4. 基于异步PI演算的Web服务长事务协议性质分析 [J] . 谭煌 ,高春鸣 ,袁勇福 . 计算机工程与应用 . 2008,第011期
5. 基于类pi演算的电子支付协议安全性形式化研究 [J] . 顾永跟 ,李国强 ,王国钧 . 计算机应用研究 . 2006,第003期
6. 基于Pi-演算的THP协议形式化建模与验证 [C] . . 2008全国软件与应用学术会议(NASAC'08) . 2008
7. 基于MWB的BPEL到π演算自动转换工具的研究与实现 [A] . 程锋涛 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号