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 条
  • [31] Formal specification-based online monitoring
    Liang, Hui
    Dong, Jin Song
    Sun, Jing
    Duke, Roger
    Seviora, Rudolph E.
    ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2006, : 152 - +
  • [32] SPECIFICATION-BASED SOFTWARE ENGINEERING WITH TAGS
    SIEVERT, GE
    MIZELL, TA
    COMPUTER, 1985, 18 (04) : 56 - 65
  • [33] Specification-based testing of user interfaces
    Paiva, ACR
    Faria, JCP
    Vidal, RFAM
    INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, 2003, 2844 : 139 - 153
  • [34] Efficient specification-based component retrieval
    Penix J.
    Alexander P.
    Automated Software Engineering, 1999, 6 (2) : 139 - 170
  • [35] A Framework for Formal Specification Considering Review and Specification-Based Testing
    Nakatsugawa, Yasumasa
    Kurita, Taro
    Araki, Keijiro
    TENCON 2010: 2010 IEEE REGION 10 CONFERENCE, 2010, : 2444 - 2448
  • [36] Specification-Based Program Repair Using SAT
    Gopinath, Divya
    Malik, Muhammad Zubair
    Khurshid, Sarfraz
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 173 - 188
  • [37] Specification-based program slicing and its applications
    Lee, WK
    Chung, IS
    Yoon, GS
    Kwon, YR
    JOURNAL OF SYSTEMS ARCHITECTURE, 2001, 47 (05) : 427 - 443
  • [38] Specification-based Testing for Software Product Lines
    Kahsai, Temesghen
    Roggenbach, Markus
    Schlingloff, Bernd-Holger
    SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 149 - +
  • [39] Specification-Based Autonomous Driving System Testing
    Zhou, Yuan
    Sun, Yang
    Tang, Yun
    Chen, Yuqi
    Sun, Jun
    Poskitt, Christopher M. M.
    Liu, Yang
    Yang, Zijiang
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2023, 49 (06) : 3391 - 3410
  • [40] On the order of test goals in specification-based testing
    Fraser, Gordon
    Gargantini, Angelo
    Wotawa, Franz
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (06): : 472 - 490