首页> 中文期刊> 《计算机工程与设计》 >基于有色Petri网的SPIN协议建模与分析

基于有色Petri网的SPIN协议建模与分析

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

在无线传感器网络路由协议的研究中,对现有协议的分析和验证具有重要意义.形式化建模是分析验证网络协议的一种有效方法.使用形式化工具有色Petri网对无线传感器网络中的SPIN路由协议进行形式化描述,并使用CPN Tools分析和验证了该协议的活性、可达性、有界性等特性.

著录项

来源
《计算机工程与设计》 |2007年第14期|3391-33933397|共4页
作者
宁亮; 张志鸿;
展开▼
作者单位

郑州大学;

信息工程学院;

河南;

郑州;

450001;

郑州大学;

信息工程学院;

河南;

郑州;

450001;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
SPIN协议; 有色Petri网; 建模; CPN分析工具; 形式化分析;

相似文献

中文文献
外文文献
专利

1. 基于有色Petri网的TII协议建模与分析 [J] . 周岳斌 ,刘桂雄 . 华南理工大学学报（自然科学版） . 2010,第012期
2. 一种新的基于有色Petri网的安全协议建模方法 [J] . 李陶深 ,吴瑞龙 . 通讯和计算机 . 2006,第002期
3. 有色Petri网的一种密码协议建模分析 [J] . 罗志宏 ,朱思铭 . 现代计算机（专业版） . 2006,第002期
4. 基于SPIN的无线传感器网络安全协议建模与分析 [J] . 敬超 ,常亮 ,古天龙 . 计算机科学 . 2009,第010期
5. 基于SPIN的安全协议的攻击者建模方法研究 [J] . 易辉凡 ,万良 ,黄娜娜 . 信息网络安全 . 2018,第002期
6. 基于有色Petri网的DNP3-SA协议形式化建模与分析 [C] . WANG Run ,汪润 ,ZHAO Lei . 第九届信息安全漏洞分析与风险评估大会（VARA2016） . 2016
7. 基于有色Petri网的SPIN协议验证 [A] . 宁亮 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号