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 条
  • [1] A Survey on Conventional and Secure Routing Protocols in Wireless Sensor Networks
    Sreenivasulu, A. L.
    Reddy, P. Chenna
    [J]. INNOVATIONS IN ELECTRONICS AND COMMUNICATION ENGINEERING, 2019, 33 : 467 - 478
  • [2] New Trends in Secure Routing Protocols for Wireless Sensor Networks
    El-Semary, Aly Mohamed
    Abdel-Azim, Mohamed Mostafa
    [J]. INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2013,
  • [3] The Routing Protocols for Wireless Sensor Networks
    Chen, Xia
    Luo, Jianping
    Liu, Ye
    Long, Chengzhi
    [J]. ADVANCED RESEARCH IN MATERIAL SCIENCE AND MECHANICAL ENGINEERING, PTS 1 AND 2, 2014, 446-447 : 1606 - +
  • [4] Routing Protocols in Wireless Sensor Networks
    Garcia Villalba, Luis Javier
    Sandoval Orozco, Ana Lucila
    Trivino Cabrera, Alicia
    Barenco Abbas, Claudia Jacy
    [J]. SENSORS, 2009, 9 (11) : 8399 - 8421
  • [5] Secure Routing in Wireless Sensor Networks
    Sahoo, Soumyashree
    Mishra, Pradipta Kumar
    Satpathy, Rabi Narayan
    [J]. International Journal of Computer Science Issues, 2012, 9 (1 1-2): : 187 - 191
  • [6] Modeling and Evaluation of Wireless Sensor Network Protocols by Stochastic Timed Automata
    Zhang, Fengling
    Bu, Lei
    Wang, Linzhang
    Zhao, Jianhua
    Chen, Xin
    Zhang, Tian
    Li, Xuandong
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2013, 296 : 261 - 277
  • [7] Designing Secure Protocols for Wireless Sensor Networks
    Uluagac, A. Selcuk
    Lee, Christopher P.
    Beyah, Raheem A.
    Copeland, John A.
    [J]. WIRELESS ALGORITHMS, SYSTEMS, AND APPLICATIONS, PROCEEDINGS, 2008, 5258 : 503 - +
  • [8] A study of routing protocols in wireless sensor networks
    Jiang, Peng
    Wen, Yu
    Wang, Jianzhong
    Shen, Xingfa
    Xue, Anke
    [J]. WCICA 2006: SIXTH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-12, CONFERENCE PROCEEDINGS, 2006, : 266 - +
  • [9] Simulations of routing protocols of wireless sensor networks
    Magsino, Kristoffer Clyde
    Kamath, H. Srikanth
    [J]. World Academy of Science, Engineering and Technology, 2009, 38 : 215 - 217
  • [10] A Review of Routing Protocols in Wireless Sensor Networks
    Wan, Jian
    Yuan, Daomin
    Xu, Xianghua
    [J]. 2008 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-31, 2008, : 3942 - 3945
12345