The Community for Technology Leaders
Green Image
Issue No. 07 - July (2009 vol. 20)
ISSN: 1045-9219
pp: 1050-1058
Hejiao Huang , Harbin Institute of Technology Shenzhen Graduate School, Shenzhen
Maode Ma , Nanyang Technological University, Singapore
Daojing He , Harbin Institute of Technology Shenzhen Graduate School, Shenzhen
Lin Cui , Harbin Institute of Technology Shenzhen Graduate School, Shenzhen
ABSTRACT
In this paper, we focus on the need for secure and efficient localization for wireless sensor networks in adversarial settings. An attack-resistant and efficient localization scheme is developed, which extends the scheme proposed in [1]. The method offers strong defense against not only distance reduction attacks but also distance enlargement attacks. Furthermore, our method does not employ any device-dependent variables, hence yields more accurate localization. An attack-driven model is also specified using Petri net. It provides a formal method for the verification of our scheme when considering distance enlargement attacks. The state analysis shows that the potential insecure states are unreachable, implying that the model can offer strong defense against these attacks. To the best of our knowledge, it is the first time that the Petri net has been introduced to validate security scheme for wireless sensor networks in the literature.
INDEX TERMS
Localization, security, wireless sensor networks.
CITATION
Hejiao Huang, Maode Ma, Daojing He, Lin Cui, "Design and Verification of Enhanced Secure Localization Scheme in Wireless Sensor Networks", IEEE Transactions on Parallel & Distributed Systems, vol. 20, no. , pp. 1050-1058, July 2009, doi:10.1109/TPDS.2008.166
108 ms
(Ver )