Specification-based IDS for securing RPL from topology attacks

被引:0
|
作者
Le, Anhtuan [1 ]
Loo, Jonathan [1 ]
Luo, Yuan [1 ]
Lasebae, Aboubaker [1 ]
机构
[1] Middlesex Univ, London N17 8HR, England
关键词
RPL; topology attack; rank attack; local repair attack; IDS; specification-based;
D O I
暂无
中图分类号
TN [电子技术、通信技术];
学科分类号
0809 ;
摘要
This paper focuses on the security aspect of RPL (Routing Protocol for Low-power and lossy network) by introducing a new type of threat - the topology attack, which changes the node operation for breaking the optimised network topology, and designing a specification-based IDS for detecting it. We present two novel RPL attacks of this type: the rank attack and local repair attack. We also propose an IDS architecture using network monitor backbone, and describe its monitoring mechanisms through a RPL finite state machine implemented in each monitor node. We show that our system can effectively detect these routing operation threats with a reasonable overhead.
引用
收藏
页数:3
相关论文
共 50 条
  • [41] Specification-based testing for GUI-based applications
    Chen, J
    Subramaniam, S
    SOFTWARE QUALITY JOURNAL, 2002, 10 (03) : 205 - 224
  • [42] An automated approach to specification-based program inspection
    Liu, SY
    Nagoya, F
    Chen, YT
    Goya, M
    McDermid, JA
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 421 - 434
  • [43] Editorial: Special issue on specification-based testing
    Hierons, R
    Derrick, J
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2000, 10 (04): : 201 - 202
  • [44] SYNTHESIZING A SPECIFICATION-BASED MONITOR FOR SAFETY REQUIREMENTS
    Babamir, S. M.
    Jalili, S.
    IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION B-ENGINEERING, 2010, 34 (B3): : 235 - 256
  • [45] ARM: A Hybrid Specification-based Intrusion Detection System for Rank Attacks in 6TiSCH Networks
    Althubaity, Areej
    Ji, Huayi
    Gong, Tao
    Nixon, Mark
    Ammar, Reda
    Han, Song
    2017 22ND IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2017,
  • [46] Specification-based Testing for Gui-based Applications
    Jessica Chen
    Suganthan Subramaniam
    Software Quality Journal, 2002, 10 : 205 - 224
  • [47] Formal Specification-Based Inspection for Verification of Programs
    Liu, Shaoying
    Chen, Yuting
    Nagoya, Fumiko
    McDermid, John A.
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (05) : 1100 - 1122
  • [48] Comparison of fault classes in specification-based testing
    Okun, V
    Black, PE
    Yesha, Y
    INFORMATION AND SOFTWARE TECHNOLOGY, 2004, 46 (08) : 525 - 533
  • [49] Specification-Based Design of Self-Stabilization
    Demirbas, Murat
    Arora, Anish
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2016, 27 (01) : 263 - 270
  • [50] Parallel Specification-Based Testing for Concurrent Programs
    Minh Do, Canh
    Ogata, Kazuhiro
    IEEE ACCESS, 2022, 10 : 24955 - 24975