Design and Verification of Enhanced Secure Localization Scheme in Wireless Sensor Networks

被引：38
作者：
He, Daojing [1 ]
Cui, Lin [1 ]
Huang, Hejiao [1 ]
Ma, Maode [2 ]
机构：
[1] Shenzhen Univ Town Xili, Harbin Inst Technol, Shenzhen Grad Sch, Dept Comp Sci, Shenzhen 518055, Guangdong, Peoples R China
[2] Nanyang Technol Univ, Div Commun Engn, Sch Elect & Elect Engn, Singapore 639798, Singapore
来源：
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS | 2009年 / 20卷 / 07期
基金：
中国国家自然科学基金;
关键词：
Localization; security; wireless sensor networks;
D O I：
10.1109/TPDS.2008.166
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：1050 / 1058
页数：9
相关论文
共 25 条
[11]  
Liu DG, 2005, 2005 FOURTH INTERNATIONAL SYMPOSIUM ON INFORMATION PROCESSING IN SENSOR NETWORKS, P99
[12]   PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].
MURATA, T .
PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580
[13]  
NAGPAL R, 2003, P 2 INT WORKSH INF P
[14]  
NASIPURI A, 2002, P ACM INT WORKSH WIR
[15]  
Niculescu D, 2003, IEEE INFOCOM SER, P1734
[16]  
NICULESCU D, 2003, J TELECOMM SYSTEMS
[17]  
Poovendran R., 2005, ACM T SENSOR NETWORK, V1, P73, DOI 10.1145/1077391.1077395
[18]  
SAVVIDES A, 2002, P ACM INT WORKSH WIR
[19]  
SAVVIDES A., 2001, P 7 ANN INT C MOB CO, P166, DOI DOI 10.1145/381677.381693
[20]  
Srinivasan A., 2007, ENCY WIRELESS MOBILE
123