具有可证明安全性的无线传感器网络路由协议研究.docxVIP

具有可证明安全性的无线传感器网络路由协议研究

摘要

路由是无线传感器网络的一项基本功能，针对路由的攻击可能会导致服务质量的降低或者彻底瘫痪。但近年来提出的各种传感器网络路由协议都没有考虑安全性问题，造成这种状况的一个重要原因就是现在人们对传感器网络安全路由协议的设计原则的理解并不充分，缺乏科学的理论作为指导。于是就有人提出了采用基于严格数学方法的证明技术来解决以上问题。本文基于SPIN路由协议进行了改进，在此基础上提出了一种名为S-SPIN（Secure-sPIN）的具有可证明安全性的新协议。本文的重点是提高协议的安全性，选择了消息认证码（MAC）作为主要的安全机制，以此来保证消息的正确性和完整性，为了适应加入安全机制的需要，对消息的格式和发送方式进行了修改。同时设计了一套能耗优化机制，从而尽可能的减少加入安全机制后增加的通信开销，以便更好地适应无线传感器网络环境。通过分析，证明我们设计的能耗优化机制确实可以大幅度的减少通信开销，延长节点寿命。为了验证S-SPIN协议的安全性，我们使用了Acs，Buttyan和Vajda提出的一个用于无线传感器网络路由协议的形式化模型（ABV模型）。ABV模型不但在数学上很严格，而且有很好的灵活性，同时易于理解和使用。我们利用这个模型，根据S-SPIN协议的实际情况进行了摸索，提出了一套严格的证明过程，最后证明只要MAC机制能抵抗存在性伪造攻击，S-SPIN协议就是安全的。

关键词

无线传感器网络；路由协议；消息认证码；形式化模型；可证明安全性

一、绪论

1.1研究背景及意义

无线传感器网络（WirelessSensorNetwork，WSN）是一种典型的无线移动自组网。它由大量部署在监测区域内的传感器节点组成，通过无线通信方式形成一个多跳的自组织网络系统，其目的是协作地感知、采集和处理网络覆盖区域中被感知对象的信息，并发送给观察者。随着微电子机械系统（MEMS）、无线通信和数字电子技术的飞速发展，无线传感器网络在军事、环境监测、医疗、智能家居等众多领域展现出了巨大的应用潜力。

在军事领域，无线传感器网络可用于战场监测、目标跟踪与定位、军事侦察等任务。通过在战场上部署大量传感器节点，能够实时获取敌方军事装备的位置、运动轨迹、兵力部署等信息，为作战指挥提供准确的数据支持，从而提升作战的效率和胜率。在环境监测方面，无线传感器网络可对大气、水质、土壤等环境参数进行实时监测，实现对自然灾害（如洪水、地震、森林火灾等）的预警以及对生态环境变化的长期跟踪，有助于人类更好地了解和保护自然环境。在医疗领域，无线传感器网络可应用于远程医疗监护、可穿戴医疗设备等方面，实时监测患者的生理参数（如心率、血压、体温等），为医生提供及时准确的诊断依据，提高医疗服务的质量和效率。在智能家居领域，无线传感器网络能够实现对家庭设备的智能控制与管理，提升家居生活的舒适度和便捷性。

然而，无线传感器网络的广泛应用也带来了诸多安全挑战。由于传感器节点通常部署在无人值守的开放环境中，其物理安全难以得到有效保障，容易受到敌方的捕获、篡改和破坏。同时，无线通信信道的开放性使得数据在传输过程中面临被窃听、篡改和伪造的风险。而路由作为无线传感器网络的一项基本功能，负责将传感器节点采集的数据准确、高效地传输到汇聚节点或其他目标节点。一旦路由协议遭受攻击，可能会导致网络服务质量的降低，甚至整个网络的瘫痪，进而影响到各个应用领域的正常运行。例如，攻击者通过发送虚假路由信息，可能会使数据传输路径发生错误，导致数据无法及时送达目的地；或者通过恶意消耗节点能量，缩短节点的使用寿命，从而破坏网络的连通性。因此，研究具有高安全性的无线传感器网络路由协议具有至关重要的现实意义。

目前，虽然已经提出了许多无线传感器网络路由协议，但大多数协议在设计时并未充分考虑安全性问题。造成这种状况的一个重要原因是人们对传感器网络安全路由协议的设计原则理解不够充分，缺乏科学的理论作为指导。传统的网络安全机制由于无线传感器网络自身的特点（如节点能量有限、计算能力和存储能力受限等），无法直接应用于无线传感器网络。因此，迫切需要研究一种适用于无线传感器网络的安全路由协议，并采用严格的数学方法对其安全性进行证明，以确保网络的安全可靠运行。本文正是基于这样的背景，对具有可证明安全性的无线传感器网络路由协议展开研究，旨在提高无线传感器网络的安全性和可靠性，为其在各个领域的广泛应用提供坚实的技术支持。

1.2国内外研究现状

近年来，国内外学者针对无线传感器网络路由协议的安全性展开了广泛的研究，并取得了一定的成果。在国外，许多研究团队致力于探索新的安全路由协议设计方法和理论。例如，Acs、Buttyan和Vajda提出了用于无线传感器网络路由协议的