数字技术与应用Issue(3)：44-45,47,3.
无线传感器的安全定位多点验证协议的形式化方法研究
The security of wireless sensor positioning formal methods of Verifiable Multifilateration
许家胜 1陈传峰1
作者信息
- 1. 福州大学物理与信息工程学院 福建福州 350002
- 折叠
摘要
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.关键词
无线传感器网络/多点验证协议/安全定位形式化方法Key words
Wireless sensor network/Verfifiable multification/Security positioning/Formal method分类
信息技术与安全科学引用本文复制引用
许家胜,陈传峰..无线传感器的安全定位多点验证协议的形式化方法研究[J].数字技术与应用,2013,(3):44-45,47,3.
