|
|||||
|
|
| 基于PAT的WSNs安全分簇协议建模与验证 | |
| 引用本文： | 王丽丹,杨红丽.基于PAT的WSNs安全分簇协议建模与验证[J].教育技术导刊,2017,16(9):177-180. |
| 作者姓名： | 王丽丹 杨红丽 |
| 作者单位： | 北京工业大学 信息学部,北京 100124 |
| 摘 要： | 在目前协议安全问题日益突出的情况下，针对无线传感器网络中典型的分簇协议LEACH进行安全性改进的版本也越来越多，但这些版本是否真正安全并不确定。基于形式化建模的思想，以LEACH的安全协议版本ORLEACH协议为例，分别建立簇头节点、簇成员节点、监控节点以及攻击节点的CSP模型，并使用模型检查工具PAT对其进行验证，分析在攻击节点存在的情况下，协议是否能够满足网络的安全需求。验证结果表明，尽管ORLEACH协议中加入了安全机制，但是协议仍然不能抵挡某些攻击行为的发生。 |
| 关 键 词： | 安全协议 无线传感器网络 CSP 模型检查 PAT |
| 点击此处可从《教育技术导刊》浏览原始摘要信息 | |
| 点击此处可从《教育技术导刊》下载免费的PDF全文 | |