数字技术与应用
數字技術與應用
수자기술여응용
DIGITAL TECHNOLOGY AND APPLICATION
2013年
3期
44-45
,共2页
无线传感器网络%多点验证协议%安全定位形式化方法
無線傳感器網絡%多點驗證協議%安全定位形式化方法
무선전감기망락%다점험증협의%안전정위형식화방법
Wireless sensor network%Verfifiable multification%Security positioning%Formal method
目前,无线传感器网络的定位的主要是目标是在敌对环境中不受干扰.由于无线传感器网络定位的主要应用都需要在安全的定位结果下才能正常工作,对无线传感器的定位主要研究是集中在能够正常定位的前提下,对安全定位研究较少.本文首先介绍多点验证协议,并用形式化方法对其距离验证协议展开研究,然后验证距离验证协议在WSN的SPINE安全定位算法中能够进行定位,并验证其安全性.
目前,無線傳感器網絡的定位的主要是目標是在敵對環境中不受榦擾.由于無線傳感器網絡定位的主要應用都需要在安全的定位結果下纔能正常工作,對無線傳感器的定位主要研究是集中在能夠正常定位的前提下,對安全定位研究較少.本文首先介紹多點驗證協議,併用形式化方法對其距離驗證協議展開研究,然後驗證距離驗證協議在WSN的SPINE安全定位算法中能夠進行定位,併驗證其安全性.
목전,무선전감기망락적정위적주요시목표시재활대배경중불수간우.유우무선전감기망락정위적주요응용도수요재안전적정위결과하재능정상공작,대무선전감기적정위주요연구시집중재능구정상정위적전제하,대안전정위연구교소.본문수선개소다점험증협의,병용형식화방법대기거리험증협의전개연구,연후험증거리험증협의재WSN적SPINE안전정위산법중능구진행정위,병험증기안전성.
@@@@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.
