【摘要】 目前,无线传感器网络的定位的主要是目标是在敌对环境中不受干扰。由于无线传感器网络定位的主要应用都需要在安全的定位结果下才能正常工作,对无线传感器的定位主要研究是集中在能够正常定位的前提下,对安全定位研究较少。本文首先介绍多点验证协议,并用形式化方法对其距离验证协议展开研究,然后验证距离验证协议在WSN的SPINE安全定位算法中能够进行定位,并验证其安全性。更多还原

【Abstract】 At present,the positioning of wireless sensor networks is the main goal is to focus on non-hostile environment.Due to the positioning of wireless sensor network applications require secure positioning results,the positioning of research on wireless sensor is less concentrated in the normal position under the premise of the security positioning.This paper first introduces the verifiable multilateration,and formal methods study,and then describes its location-based applications in WSN security,verify the security positions.更多还原