The Security Analysis of ROS2 Communication

被引:0
|
作者
Yang, Shuo [1 ]
Li, Hongru [2 ]
Guo, Jian [3 ,4 ]
机构
[1] ECNU, MoE Engn Res Ctr Software, Hardware Codesign Technol & Applicat, Shanghai, Peoples R China
[2] ECNU, Shanghai Trusted Ind Internet Software Collaborat, Shanghai, Peoples R China
[3] ECNU, Xinjiang Teachers Coll, Shanghai, Peoples R China
[4] ECNU, Natl Trusted Embedded Software Engn Technol Res C, Shanghai, Peoples R China
关键词
ROS2; communication security; CIA; formal model; VERIFICATION;
D O I
10.1007/978-3-031-64954-7_7
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
With the increasing use of robots in various fields, the importance of communication security between robots and their components has become a pressing concern. As the primary development framework for robot applications, ROS2 is replacing ROS1 at a rapid pace, and its security issues have direct implications for the security of robot systems. This paper presents an exploration and study of the communication security issues of ROS2 by combining CIA triad with the ROS2 communication mechanism. We propose the fundamental security requirements of the ROS2 system under different communication mechanisms and provide formal modeling and definition. Moreover, we classify and analyze network attacks at the ROS2 level and implement a tool, ROS2Tester, to conduct modeling the ROS2 formal security modules, penetration testing and evaluating the security of ROS2 systems.
引用
收藏
页码:122 / 139
页数:18
相关论文
共 50 条
  • [1] Formal Analysis and Detection for ROS2 Communication Security Vulnerability
    Yang, Shuo
    Guo, Jian
    Rui, Xue
    ELECTRONICS, 2024, 13 (09)
  • [2] On the (In)Security of Secure ROS2<bold> </bold>
    Deng, Gelei
    Xu, Guowen
    Zhou, Yuan
    Zhang, Tianwei
    Liu, Yang
    PROCEEDINGS OF THE 2022 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2022, 2022, : 739 - 753
  • [3] Automating ROS2 Security Policies Extraction through Static Analysis
    Zanatta, Giacomo
    Caiazza, Gianluca
    Ferrara, Pietro
    Negrini, Luca
    White, Ruffin
    2024 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, IROS 2024, 2024, : 3627 - 3634
  • [4] Analyzing Interoperability and Security Overhead of ROS2 DDS Middleware
    Aartsen, Max
    Banga, Kanta
    Talko, Konrad
    Touw, Dustin
    Wisman, Bertus
    Meinsma, Daniel
    Bjorkqvist, Mathias
    2022 30TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2022, : 976 - 981
  • [5] Orchestration-aware optimization of ROS2 communication protocols
    De Marchi, Mirco
    Bombieri, Nicola
    2024 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE, 2024,
  • [6] Formal Analysis and Verification of DDS in ROS2
    Liu, Yanan
    Guan, Yong
    Li, Xiaojuan
    Wang, Rui
    Zhang, Jie
    PROCEEDINGS OF THE 2018 16TH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2018, : 62 - 66
  • [7] End-To-End Timing Analysis in ROS2
    Teper, Harun
    Guenzel, Mario
    Ueter, Niklas
    von der Brueggen, Georg
    Chen, Jian-Jia
    2022 IEEE 43RD REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2022), 2022, : 53 - 65
  • [8] Exploring the Performance of ROS2
    Maruyama, Yuya
    Kato, Shinpei
    Azumi, Takuya
    2016 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2016,
  • [9] Latency Analysis of ROS2 Multi-Node Systems
    Kronauer, Tobias
    Pohlmann, Joshwa
    Matthe, Maximilian
    Smejkal, Till
    Fettweis, Gerhard
    2021 IEEE INTERNATIONAL CONFERENCE ON MULTISENSOR FUSION AND INTEGRATION FOR INTELLIGENT SYSTEMS (MFI), 2021,
  • [10] Comparative analysis in real environment of trajectory controllers on ROS2
    Sant'Anna, Tiago B.
    Argolo, Miguel B.
    Lima, Rebeca T.
    2023 LATIN AMERICAN ROBOTICS SYMPOSIUM, LARS, 2023 BRAZILIAN SYMPOSIUM ON ROBOTICS, SBR, AND 2023 WORKSHOP ON ROBOTICS IN EDUCATION, WRE, 2023, : 308 - 312