Wireless Personal Communications: An International Journal
Secure and efficient dynamic program update in wireless sensor networks
Security and Communication Networks
Feasibility of position-based multivariate cryptosystems for WSN
International Journal of Internet Technology and Secured Transactions
Reconstruction of event sequences based on asynchronous observations in sensor networks
Proceedings of the 7th International Conference on Ubiquitous Information Management and Communication
Secure localization and location verification in wireless sensor networks: a survey
The Journal of Supercomputing
| Hi-index | 0.00 |
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.