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

《浅谈具有可证明安全性的无线传感器网络路由协议研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、湖南大学硕士学位论文具有可证明安全性的无线传感器网络路由协议研究姓名：唐亮申请学位级别：硕士专业：计算机科学与技术指导教师：李乔良20090511具有可证明安令性的无线传感器网络路由协议研究摘要路由是无线传感器网络的一项基本功能，针对路由的攻击可能会导致服务质量的降低或者彻底瘫痪。但近年来提出的各种传感器网络路由协议都没有考虑安全性问题，造成这种状况的一个重要原因就是现在人们对传感器网络安全路由协议的设计原则的理解并不充分，缺乏科学的理论作为指导。于是就有人提出了采用基于严格数学方法的证明技术来解决以上问题。本文

2、基于SPIN路由协议进行了改进，在此基础上提出了一种名为S．SPIN(Secure．sPIN)的具有可证明安全性的新协议。本文的重点是提高协议的安全性，选择了消息认证码(MAc)作为主要的安全机制，以此来保证消息的正确性和完整性，为了适应加入安全机制的需要，对消息的格式和发送方式进行了修改。同时设计了一套能耗优化机制，从而尽可能的减少加入安全机制后增加的通信开销，以便更好地适应无线传感器网络环境。通过分析，证明我们设计的能耗优化机制确实可以大幅度的减少通信开销，延长节点寿命。为了验证S．SPIN协议的安全性，我们

3、使用了Acs，Buttyan和vaida提出的一个用于无线传感器网络路由协议的形式化模型(ABV模型)。ABV模型不但在数学上很严格，而且有很好的灵活性，同时易于理解和使用。我们利用这个模型，根据S．SPIN协议的实际情况进行了摸索，提出了一套严格的证明过程，最后证明只要MAC机制能抵抗存在性伪造攻击，S—SPIN协议就是安全的。关键词：无线传感器网络；路由协议；可证明安全性；SPIN协议；形式化模型II硕}：学位论文AbstractRoutingisa如ndamentalfunctioninwirelessse

4、nsornetworks．Theattacksagainstroutingprotocolswillaff．ecttheserVicequalityoreVenshutdowntheentirenetwork．However'mostofprotocolsproposedforwirelesssensornetworl【shaVenotbeendesignedwithconsiderationofsecurityrequirements．Oneimportantreasonf．orthissituationist

5、hepoorunderstandingofthedesignprinciplesofsecureroutingprotocolsand1ackofscientifictheoryasguideline．Inordertoremedythissituation，someresearchersproposetocomeupwithprooftechniquesons01idmathematicalgrounds．Inthispaper，wepresentaproVablysecureroutingprotocolf．

6、orwirelesssensornetworks，calledS．SPIN(Secure-SPIN)，whichisasecurityextensionofSPIN．ThemajorobjectiveofthispaperistoimproVethesecurityoftheprotocol，andMessageAuthenticationCode(MAC)hasbeenchosentoguaranteethecorrectnessandintegrityofmessages．Inordertoadaptthen

7、ewrequirements，wehaVealsochangedthef．omatandtransmittingmethodofmessages．Toreducetheadditionalcommunicateoverhead，wehavedesignedanenergyconsumptionoptimizationmechanism．Accordingtoouranalysis，thismechanismisabletoconserveenergyandprolongthenetwork’slife．Tover

8、if．ythesecurityofS．SPIN，wehaveadoptedafonnalsecurityfIrameworkproposedbyAcs，Butty矗nand、匈da，calledtheABVmodel．Thismodelismathematicallyrigorousandnexible，easytoleamanduse．Byusingthismodel，