基于PAT的WSNs安全分簇协议建模与验证

• 作者: 杨红丽 王丽丹
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 安全协议 无线传感器网络 CSP 模型检查 PAT
• 年，卷（期）: 2017,（9）
• 所属期刊栏目: 信息安全
• 页码范围: 177-180,184
• 页数: 5页
• 分类号: TP309
• 字数: 4720字
• 语种: 中文
• DOI: 10.11907/rjdk.171438

摘要

在目前协议安全问题日益突出的情况下,针对无线传感器网络中典型的分簇协议LEACH进行安全性改进的版本也越来越多,但这些版本是否真正安全并不确定.基于形式化建模的思想,以LEACH的安全协议版本OR-LEACH协议为例,分别建立簇头节点、簇成员节点、监控节点以及攻击节点的CSP模型,并使用模型检查工具PAT对其进行验证,分析在攻击节点存在的情况下,协议是否能够满足网络的安全需求.验证结果表明,尽管ORLEACH协议中加入了安全机制,但是协议仍然不能抵挡某些攻击行为的发生.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨红丽	北京工业大学信息学部	20	106	5.0	9.0
2	王丽丹	北京工业大学信息学部	2	13	2.0	2.0