• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Parallel and Distributed Systems, IEEE Transactions on >Design and Verification of Enhanced Secure Localization Scheme in Wireless Sensor Networks
【24h】

Design and Verification of Enhanced Secure Localization Scheme in Wireless Sensor Networks

机译：无线传感器网络中增强安全定位方案的设计与验证

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper, we focus on the need for secure and efficient localization for wireless sensor networks in adversarial settings. An attack-resistant and efficient localization scheme is developed, which extends the scheme proposed in [1]. The method offers strong defense against not only distance reduction attacks but also distance enlargement attacks. Furthermore, our method does not employ any device-dependent variables, hence yields more accurate localization. An attack-driven model is also specified using Petri net. It provides a formal method for the verification of our scheme when considering distance enlargement attacks. The state analysis shows that the potential insecure states are unreachable, implying that the model can offer strong defense against these attacks. To the best of our knowledge, it is the first time that the Petri net has been introduced to validate security scheme for wireless sensor networks in the literature.
机译：在本文中，我们着眼于对抗环境下对无线传感器网络进行安全，高效的本地化的需求。开发了一种抗攻击的高效本地化方案，该方案扩展了[1]中提出的方案。该方法不仅针对距离减小攻击而且针对距离增大攻击提供强大的防御。此外，我们的方法不使用任何与设备相关的变量，因此产生了更准确的定位。还使用Petri网指定攻击驱动模型。当考虑距离扩大攻击时，它为验证我们的方案提供了一种正式的方法。状态分析表明，潜在的不安全状态是无法达到的，这表明该模型可以针对这些攻击提供强大的防御能力。据我们所知，这是第一次在文献中引入Petri网来验证无线传感器网络的安全方案。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号