【摘 要】
：
路由是无线传感器网络的一项基本功能,针对路由的攻击可能会导致服务质量的降低或者彻底瘫痪。但近年来提出的各种传感器网络路由协议都没有考虑安全性问题,造成这种状况的一
论文部分内容阅读
路由是无线传感器网络的一项基本功能,针对路由的攻击可能会导致服务质量的降低或者彻底瘫痪。但近年来提出的各种传感器网络路由协议都没有考虑安全性问题,造成这种状况的一个重要原因就是现在人们对传感器网络安全路由协议的设计原则的理解并不充分,缺乏科学的理论作为指导。于是就有人提出了采用基于严格数学方法的证明技术来解决以上问题。本文基于SPIN路由协议进行了改进,在此基础上提出了一种名为S-SPIN(Secure-SPIN)的具有可证明安全性的新协议。本文的重点是提高协议的安全性,选择了消息认证码(MAC)作为主要的安全机制,以此来保证消息的正确性和完整性,为了适应加入安全机制的需要,对消息的格式和发送方式进行了修改。同时设计了一套能耗优化机制,从而尽可能的减少加入安全机制后增加的通信开销,以便更好地适应无线传感器网络环境。通过分析,证明我们设计的能耗优化机制确实可以大幅度的减少通信开销,延长节点寿命。为了验证S-SPIN协议的安全性,我们使用了Acs, Buttyan和Vajda提出的一个用于无线传感器网络路由协议的形式化模型(ABV模型)。ABV模型不但在数学上很严格,而且有很好的灵活性,同时易于理解和使用。我们利用这个模型,根据S-SPIN协议的实际情况进行了摸索,提出了一套严格的证明过程,最后证明只要MAC机制能抵抗存在性伪造攻击,S-SPIN协议就是安全的。
其他文献
随着软件复杂性的增长和入侵攻击的加剧,可信性问题日益严峻,传统的以设计更为复杂结构来实现可信的方式已不再现实。本文提出利用自律计算技术自我感知、自我管理的特性,设
随着信息通信技术的快速发展,用户的产品使用行为变得无处不在。传统的用户体验研究方法很难采集到无处不在的体验数据,已经不能满足移动用户体验研究的需求,越来越多的研究
随着计算机的普及以及互联网技术的飞速发展,公安领域的文本信息量越来越庞大,不论是现有的文本数据库,还是网页实时更新的文本信息,这使公安部门迫切需要一些自动化的工具,
本文分析了一种面向服务的架构(SOA)模型,该模型可以根据需求通过网络对松散耦合的粗粒度应用组件进行分布式部署、组合和使用。服务层是SOA的基础,可以直接被应用调用,从而
随着计算机网络技术与多媒体技术的迅速发展，多媒体数据（如图像、图形、音频、视频等）已经成为信息交流的一种主要方式。在人们从网上轻松获取媒体信息的同时，大量诸如盗版、恶意
随着计算机网络和通信技术的飞跃发展,数字媒体(包括数字图像、数字视频、数字音频)已得到了广泛的应用,随之而来的数字媒体的信息安全、知识产权保护和认证等问题也变得日益
支持向量机(Support Vector Machine,SVM)方法是Vapnik等人根据统计学习理论提出的一种新型的、有效的机器学习方法,它以结构风险最小化准则和VC维理论为理论基础,通过适当地
功能磁共振成像(functional magnetic resonance imaging,简称fMRI)技术使得人们对大脑内部运作行为进行无损伤的探测成为可能,此项技术着重反映脑神经元功能活动情况,在脑功
弥散张量成像(Diffusion Tensor-Magnetic Resonance Imaging,DT-MRI)是近年来提出的一种新的磁共振成像(MRI)方法。分子的弥散运动即是分子的随机位移,但其位移非常小以致在