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

• 作者: 田国良 陈春玲
• 来源期刊: 电力系统通信
• 学科: 工学
• 关键词: SPIN Promela NSPK 建模
• 年，卷（期）: 2008,（8）
• 所属期刊栏目: 技术研究
• 页码范围: 52-55,59
• 页数: 5页
• 分类号: TN915.04
• 字数: 4007字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-7641.2008.08.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈春玲	南京邮电大学计算机学院	72	533	13.0	19.0
2	田国良	南京邮电大学计算机学院	1	0	0.0	0.0