Modelling Secure Wireless Sensor Networks Routing Protocols with Timed Automata

被引：0
|
作者：
Tobarra, Llanos [1 ]
Cazorla, Diego [1 ]
Cuartero, Fernando [1 ]
Jose Pardo, J. [1 ]
机构：
[1] Univ Castilla La Mancha, Albacete Comp Sci Res Inst I3A, Albacete, Spain
来源：
PM2HW2N'08: PROCEEDINGS OF THE THIRD ACM INTERNATIONAL WORKSHOP ON PERFORMANCE MONITORING, MEASUREMENT, AND EVALUATION OF HETEROGENEOUS WIRELESS AND WIRED NETWORKS | 2008年
关键词：
Security; Timed Automata; Wireless Sensor Networks;
D O I：
10.1145/1454630.1454638
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this work we focus on secure routing protocols in wireless sensor networks. Routing is a fundamental task in sensor networks and, consequently, attacks on the routing functionality can have a serious impact in the network performance. In order to deal with this problem we propose the application of an existing modelling framework for secure routing protocols which reflects the node capabilities. This framework describes an adversary model adapted to the capabilities of the sensor network. Our proposal is based on timed automata and the UPPAAL tool.
引用
收藏
页码：51 / 58
页数：8
相关论文
共 50 条
  • [41] A Review on Hierarchical Routing Protocols for Wireless Sensor Networks
    Zahariah Manap
    Borhanuddin Mohd Ali
    Chee Kyun Ng
    Nor Kamariah Noordin
    Aduwati Sali
    [J]. Wireless Personal Communications, 2013, 72 : 1077 - 1104
  • [42] Passively Testing Routing Protocols in Wireless Sensor Networks
    Che, Xiaoping
    Maag, Stephane
    Tan, Hwee-Xian
    Tan, Hwee-Pink
    [J]. IEEE 12TH INT CONF UBIQUITOUS INTELLIGENCE & COMP/IEEE 12TH INT CONF ADV & TRUSTED COMP/IEEE 15TH INT CONF SCALABLE COMP & COMMUN/IEEE INT CONF CLOUD & BIG DATA COMP/IEEE INT CONF INTERNET PEOPLE AND ASSOCIATED SYMPOSIA/WORKSHOPS, 2015, : 270 - 277
  • [43] A Survey of Routing Protocols for Underwater Wireless Sensor Networks
    Luo, Junhai
    Chen, Yanping
    Wu, Man
    Yang, Yang
    [J]. IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, 2021, 23 (01): : 137 - 160
  • [44] Evaluating the Performance of Routing Protocols in Wireless Sensor Networks
    Goswami, Poulomi
    Jadhav, A. D.
    [J]. 2012 THIRD INTERNATIONAL CONFERENCE ON COMPUTING COMMUNICATION & NETWORKING TECHNOLOGIES (ICCCNT), 2012,
  • [45] A Survey on Clustering Routing Protocols in Wireless Sensor Networks
    Liu, Xuxun
    [J]. SENSORS, 2012, 12 (08): : 11113 - 11153
  • [46] Comparison of Clustering Routing Protocols for Wireless Sensor Networks
    Sikander, Gulbadan
    Zafar, Mohammad Haseeb
    Babar, Mohammad Inayatullah Khan
    Rashid, Mohammed
    Zuhairi, Megat Farez
    [J]. 2013 IEEE INTERNATIONAL CONFERENCE ON SMART INSTRUMENTATION, MEASUREMENT AND APPLICATIONS (ICSIMA 2013), 2013,
  • [47] Security analysis of routing protocols in wireless sensor networks
    Sadeghi, Mohammad
    Khosravi, Farshad
    Atefi, Kayvan
    Barati, Mehdi
    [J]. International Journal of Computer Science Issues, 2012, 9 (1 1-3): : 465 - 472
  • [48] A Survey of Routing Protocols in Wireless Body Sensor Networks
    Bangash, Javed Iqbal
    Abdullah, Abdul Hanan
    Anisi, Mohammad Hossein
    Khan, Abdul Waheed
    [J]. SENSORS, 2014, 14 (01): : 1322 - 1357
  • [49] A survey on intelligent routing protocols in wireless sensor networks
    Guo, Wenjing
    Zhang, Wei
    [J]. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2014, 38 : 185 - 201
  • [50] A Debugging Tool for Routing Protocols in Wireless Sensor Networks
    Nikol’skii I.M.
    [J]. Computational Mathematics and Modeling, 2022, 33 (1) : 72 - 76
12345