首页> 中文期刊> 《电力系统通信》 >NSPK协议的Promela语言建模及分析

NSPK协议的Promela语言建模及分析

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

重点提出了对NSPK协议进行建模设计的思想和方法,阐述了如何用Promela语言实现模型的关键技术.使用Spin对该模型进行行为模拟和属性校验,结果既能保证协议的正常执行,也能帮助发现安全缺陷.

著录项

来源
《电力系统通信》 |2008年第8期|52-55,59|共5页
作者
田国良; 陈春玲;
展开▼
作者单位

南京邮电大学计算机学院,江苏,南京,210003;

南京邮电大学计算机学院,江苏,南京,210003;

展开▼
原文格式 PDF
正文语种 chi
中图分类通信规程、通信协议;
关键词
SPIN; Promela; NSPK; 建模;

相似文献

中文文献
外文文献
专利

1. 密码协议的Promela语言建模及分析 [J] . 龙士工 ,王巧丽 ,李祥 . 计算机应用 . 2005,第007期
2. 通信协议的Promela语言建模与检测 [J] . 陈义 ,唐郑熠 . 福建电脑 . 2016,第003期
3. 基于UML扩展机制的MDA协议建模语言研究 [J] . 宋瑾钰 ,蒋国明 ,高会聪 . 计算机工程与设计 . 2009,第005期
4. 在协议工程中应用统一建模语言UML的方法 [J] . 杨慧波 . 电脑知识与技术 . 2007,第001期
5. 基于UML语言建模的网络安全体系的建模分析研究 [J] . 唐云凯 ,王维 ,王芳 . 数字技术与应用 . 2017,第009期
6. NSPK协议的Spin模型检测 [C] . . 2008年全国开放式分布与并行计算学术年会 . 2008
7. 基于模型驱动架构的协议建模语言研究 [A] . 吴柏青 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号