The security proof of a link-state routing protocol for Wireless Sensor Networks

被引：0
|
作者：
Acs, Gergely [1 ]
Buttyan, Levente [1 ]
Vajda, Istvan [1 ]
机构：
[1] Budapest Univ Technol & Econ, Lab Cryptog & Syst Secur CrySyS, Budapest, Hungary
来源：
2007 IEEE INTERNATIONAL CONFERENCE ON MOBILE AD-HOC AND SENSOR SYSTEMS, VOLS 1-3 | 2007年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we present a flexible and mathematically rigorous modeling framework for analyzing the security of sensor network routing protocols. Then, we demonstrate the usage of this framework by formally proving that INSENS (Intrusion-Tolerant Routing in Wireless Sensor Networks), which is a secure sensor network routing protocol proposed in the literature independently of our work, can be proven to be secure in our model.
引用
收藏
页码：1196 / 1201
页数：6
相关论文
共 50 条
  • [1] A link-state QoS routing protocol for ad hoc networks
    Munaretto, A
    Badis, H
    Al Agha, K
    Pujolle, G
    [J]. 2002 4TH INTERNATIONAL WORKSHOP ON MOBILE AND WIRELESS COMMUNICATION NETWORK, 2002, : 222 - 226
  • [2] Link-State Routing Protocol for Multi-Channel Multi-Interface Wireless Networks
    Kim, Cheolgi
    Ko, Young-Bae
    Vaidya, Nitin H.
    [J]. 2008 IEEE MILITARY COMMUNICATIONS CONFERENCE: MILCOM 2008, VOLS 1-7, 2008, : 3605 - +
  • [3] LCM: A multicast core management protocol for link-state routing networks
    Huang, Y
    Fleury, E
    McKinley, PK
    [J]. ICC 98 - 1998 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS VOLS 1-3, 1998, : 1197 - 1201
  • [4] On the Design of Link-State Routing Protocol for Connection-Oriented Networks
    M. Sivabalan
    H. T. Mouftah
    [J]. Journal of Network and Systems Management, 2001, 9 (2) : 223 - 242
  • [5] Reducing the cost of security in link-state routing
    Hauser, R
    Przygienda, T
    Tsudik, G
    [J]. 1997 SYMPOSIUM ON NETWORK AND DISTRIBUTED SYSTEM SECURITY, PROCEEDINGS, 1997, : 93 - 99
  • [6] Adaptive link-state routing and intrusion detection in wireless mesh networks
    Misra, S.
    Krishna, P. V.
    Abraham, K. I.
    [J]. IET INFORMATION SECURITY, 2010, 4 (04) : 374 - 389
  • [7] Trust Integrated Link State Routing Protocol for Wireless Sensor Networks (TILSRP)
    Raha, Arnab
    Babu, Shaik Sahil
    Naskar, Mrinal Kanti
    Alfandi, Omar
    Hogrefe, Dieter
    [J]. 2011 IEEE 5TH INTERNATIONAL CONFERENCE ON ADVANCED NETWORKS AND TELECOMMUNICATION SYSTEMS (ANTS), 2011,
  • [8] Analysis of Security Routing Protocol for Wireless Sensor Networks
    Wang, Yi
    Cao, Zhenjie
    Bai, Xue
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON LOGISTICS, ENGINEERING, MANAGEMENT AND COMPUTER SCIENCE (LEMCS 2015), 2015, 117 : 1074 - 1078
  • [9] On Security of Opportunistic Routing Protocol in Wireless Sensor Networks
    Sharma, Archana
    Singh, Yashwant
    [J]. PROCEEDINGS OF RECENT INNOVATIONS IN COMPUTING, ICRIC 2019, 2020, 597 : 407 - 419
  • [10] Transmission-Efficient Routing in Wireless Networks Using Link-State Information
    J.J. Garcia-Luna-Aceves
    Marcelo Spohn
    [J]. Mobile Networks and Applications, 2001, 6 : 223 - 238
12345