无线传感器的安全定位多点验证协议的形式化方法研究.docVIP

无线传感器的安全定位多点验证协议的形式化方法研究 摘要：目前，无线传感器网络的定位的主要是目标是在敌对环境中不受干扰。由于无线传感器网络定位的主要应用都需要在安全的定位结果下才能正常工作，对无线传感器的定位主要研究是集中在能够正常定位的前提下，对安全定位研究较少。本文首先介绍多点验证协议，并用形式化方法对其距离验证协议展开研究，然后验证距离验证协议在WSN的SPINE安全定位算法中能够进行定位，并验证其安全性。 关键词：无线传感器网络 多点验证协议 安全定位 形式化方法 中图分类号：TP212.9；TN915.04 文献标识码：A 文章编号：1007-9416（2013）03-0044-03 1 引言 节点自身定位是整个无线传感器网络（WSN文献[1][2][3]）应用的一个支撑技术之一，由于节点自身定位过程容易遭受到来自内部和外部的攻击，又由于WSN节点自身资源的限制，所以在受限的WSN中，如何进行安全的定位和获取正确的位置信息，是一个非常具有挑战性的安全问题。 2 多点验证协议 可验证测距协议是一种采用基于测距的距离界定协议，不只可以用于抵抗各种距离攻击，还可以对节点进行安全定位。 2.1 距离界定协议 距离界定最早由Brands和Chaum提出（文献[4]），其基本思想是通过测量和计算验证者（verifier）与被验证者（claimant）之间距离的上界，防止以缩小测量/估算