Security Requirements Engineering in Safety-Critical Railway Signalling Networks

被引:11
|
作者
Heinrich, Markus [1 ]
Vateva-Gurova, Tsvetoslava [1 ]
Arul, Tolga [1 ]
Katzenbeisser, Stefan [1 ]
Suri, Neeraj [1 ]
Birkholz, Henk [2 ]
Fuchs, Andreas [2 ]
Krauss, Christoph [2 ]
Zhdanova, Maria [2 ]
Kuzhiyelil, Don [3 ]
Tverdyshev, Sergey [3 ]
Schlehuber, Christian [4 ]
机构
[1] Tech Univ Darmstadt, Dept Comp Sci, Darmstadt, Germany
[2] Fraunhofer Inst Secure Informat Technol SIT, Darmstadt, Germany
[3] SYSGO AG, Klein Winternheim, Germany
[4] DB Netz AG, Frankfurt, Germany
关键词
Security systems - Cryptography - Network architecture - Architecture - Safety engineering;
D O I
10.1155/2019/8348925
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Securing a safety-critical system is a challenging task, because safety requirements have to be considered alongside security controls. We report on our experience to develop a security architecture for railway signalling systems starting from the bare safety-critical system that requires protection. We use a threat-based approach to determine security risk acceptance criteria and derive security requirements. We discuss the executed process and make suggestions for improvements. Based on the security requirements, we develop a security architecture. The architecture is based on a hardware platform that provides the resources required for safety as well as security applications and is able to run these applications of mixed-criticality (safety-critical applications and other applications run on the same device). To achieve this, we apply the MILS approach, a separation-based high-assurance security architecture to simplify the safety case and security case of our approach. We describe the assurance requirements of the separation kernel subcomponent, which represents the key component of the MILS architecture. We further discuss the security measures of our architecture that are included to protect the safety-critical application from cyberattacks.
引用
下载
收藏
页数:14
相关论文
共 50 条
  • [21] Managing security evidence in safety-critical organizations
    Mohamad, Mazen
    Steghoefer, Jan-Philipp
    Knauss, Eric
    Scandariato, Riccardo
    JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 214
  • [22] Safety-Critical Applications for Vehicular Networks
    Lica, Constantin-Alexandru
    Darlosan, Radu-Ovidiu
    2016 INTERNATIONAL CONFERENCE ON COMMUNICATIONS (COMM 2016), 2016, : 347 - 350
  • [23] Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie
    Hartig, Kerstin
    Gerlach, Jens
    Soto, Juan
    Busse, Juergen
    FORMS/FORMAT 2010: FORMAL METHODS FOR AUTOMATION AND SAFETY IN RAILWAY AND AUTOMOTIVE SYSTEMS, 2011, : 145 - 153
  • [24] Functional apportioning of safety requirements on railway signalling systems
    Lokberg, O
    Skogstad, O
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 289 - 302
  • [25] Security Assessment of FPGA-based Safety-Critical Systems: US NRC Requirements Context
    Kharchenko, V.
    Kovalenko, A.
    Siora, O.
    Sklyar, V.
    2015 INTERNATIONAL CONFERENCE ON INFORMATION AND DIGITAL TECHNOLOGIES (IDT), 2015, : 132 - 138
  • [26] Safety-critical and security-critical computing in Britain: An exploration
    MacKenzie, D
    Tierney, M
    TECHNOLOGY ANALYSIS & STRATEGIC MANAGEMENT, 1996, 8 (04) : 355 - 379
  • [27] Engineering Education for Development of Safety-Critical Systems
    Singh, Pooja
    Singh, Lalit Kumar
    IEEE TRANSACTIONS ON EDUCATION, 2021, 64 (04) : 398 - 405
  • [28] Operational anomalies as a cause of safety-critical requirements evolution
    Lutz, RR
    Mikulski, IC
    JOURNAL OF SYSTEMS AND SOFTWARE, 2003, 65 (02) : 155 - 161
  • [29] Deriving architectural flexibility requirements in safety-critical systems
    Stephenson, Z
    McDermid, J
    IEE PROCEEDINGS-SOFTWARE, 2005, 152 (04): : 143 - 152
  • [30] Developing requirements management tool for safety-critical systems
    Kildishev, Denis
    Khoroshilov, Alexey
    2019 ACTUAL PROBLEMS OF SYSTEMS AND SOFTWARE ENGINEERING (APSSE 2019), 2019, : 50 - 57