Issue No. 07 - July (2009 vol. 20)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TPDS.2008.166
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
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 . 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.
Localization, security, wireless sensor networks.
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