A Preliminary Design-Phase Security Methodology for Cyber-Physical Systems

被引:12
|
作者
Carter, Bryan [1 ]
Adams, Stephen [1 ]
Bakirtzis, Georgios [2 ]
Sherburne, Tim [1 ]
Beling, Peter [1 ]
Horowitz, Barry [1 ]
Fleming, Cody [1 ,3 ]
机构
[1] Univ Virginia, Syst Engn, Charlottesville, VA 22904 USA
[2] Univ Virginia, Comp Sci & Elect & Comp Engn, Charlottesville, VA 22904 USA
[3] Univ Virginia, Mech & Aerosp Engn, Charlottesville, VA 22904 USA
来源
SYSTEMS | 2019年 / 7卷 / 02期
关键词
model-based systems engineering; cyber-physical systems; cyber security; safety; risk;
D O I
10.3390/systems7020021
中图分类号
C [社会科学总论];
学科分类号
03 ; 0303 ;
摘要
Despite cyber being in the name, cyber-physical systems possess unique characteristics that limit the applicability and suitability of traditional cybersecurity techniques and strategies. Furthermore, vulnerabilities to cyber-physical systems can have significant safety implications. The physical and cyber interactions inherent in these systems require that cyber vulnerabilities not only be defended against or prevented, but that the system also be resilient in the face of successful attacks. Given the complex nature of cyber-physical systems, the identification and evaluation of appropriate defense and resiliency strategies must be handled in a targeted and systematic manner. Specifically, what resiliency strategies are appropriate for a given system, where, and which should be implemented given time and/or budget constraints? This paper presents two methodologies: (1) the cyber security requirements methodology and (2) a systems-theoretic, model-based methodology for identifying and prioritizing appropriate resiliency strategies for implementation in a given system and mission. This methodology is demonstrated using a case study based on a hypothetical weapon system. An assessment and comparison of the results from the two methodologies suggest that the techniques presented in this paper can augment and enhance existing systems engineering approaches with model-based evidence.
引用
收藏
页数:22
相关论文
共 50 条
  • [1] Security and design Challenges in Cyber-Physical Systems
    Reddy, Yenumula B.
    [J]. 2015 12TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY - NEW GENERATIONS, 2015, : 200 - 205
  • [2] Cyber-Physical Systems - Security
    Zseby, T.
    [J]. ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2018, 135 (03): : 249 - 249
  • [3] Security in Cyber-Physical Systems
    Dsouza, Joanita
    Elezabeth, Laura
    Mishra, Ved Prakash
    Jain, Rachna
    [J]. PROCEEDINGS 2019 AMITY INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AICAI), 2019, : 840 - 844
  • [4] Cyber-Physical Systems – Security
    Tanja Zseby
    [J]. e & i Elektrotechnik und Informationstechnik, 2018, 135 (3) : 249 - 249
  • [5] Security of Cyber-Physical Systems: Design of a Security Supervisor to Thwart Attacks
    Lima, Publio M.
    Alves, Marcos V. S.
    Carvalho, Lilian Kawakami
    Moreira, Marcos V.
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2022, 19 (03) : 2030 - 2041
  • [6] Characteristic, Architecture, Technology, and Design Methodology of Cyber-Physical Systems
    Liu, Chao
    Chen, Fulong
    Zhu, Junru
    Zhang, Ziyang
    Zhang, Cheng
    Zhao, Chuanxin
    Wang, Taochun
    [J]. INDUSTRIAL IOT TECHNOLOGIES AND APPLICATIONS, INDUSTRIAL IOT 2017, 2017, 202 : 230 - 246
  • [7] Design and Verification Methodology for Secure and Distributed Cyber-Physical Systems
    Levshun, Dmitry
    Chechulin, Andrey
    Kotenko, Igor
    Chevalier, Yannick
    [J]. 2019 10TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2019,
  • [8] A Survivability-Aware Cyber-Physical Systems Design Methodology
    Rashid, Nafiul
    Quiros, Gustavo
    Al Faruque, Mohammad Abdullah
    [J]. 2019 IEEE 15TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2019, : 848 - 853
  • [9] Towards a Methodology to Design Provably Secure Cyber-Physical Systems
    Malaquias, Felipe Lisboa
    Giantamidis, Georgios
    Basagiannis, Stylianos
    Rollini, Simone Fulvio
    Amundson, Isaac
    [J]. Ada User Journal, 2023, 44 (02): : 146 - 151
  • [10] A Model-Based Design Methodology for Cyber-Physical Systems
    Jensen, Jeff C.
    Chang, Danica H.
    Lee, Edward A.
    [J]. 2011 7TH INTERNATIONAL WIRELESS COMMUNICATIONS AND MOBILE COMPUTING CONFERENCE (IWCMC), 2011, : 1666 - 1671