On Attacker Models and Profiles for Cyber-Physical Systems

被引:48
|
作者
Rocchetto, Marco [1 ]
Tippenhauer, Nils Ole [2 ]
机构
[1] Singapore Univ Technol & Design, iTrust, Singapore, Singapore
[2] Singapore Univ Technol & Design, ISTD, Singapore, Singapore
来源
关键词
SECURITY; STATE;
D O I
10.1007/978-3-319-45741-3_22
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Attacker models are a fundamental part of research on security of any system. For different application scenarios, suitable attacker models have to be chosen to allow comprehensive coverage of possible attacks. We consider Cyber-Physical Systems (CPS), that typically consist of networked embedded systems which are used to sense, actuate, and control physical processes. The physical layer aspects of such systems add novel attack vectors and opportunities for defenses, that require extended models of attackers' capabilities. We develop a taxonomy to classify and compare attacker models in related work. We show that, so far, there are no commonly used attacker models for such CPS. In addition, concepts of what information belongs in an attacker model are widely different among the community. To address that problem, we develop a framework to classify attacker models and use it to review related work on CPS Security. Using our framework, we propose a set of attacker profiles and show that those profiles capture most types of attackers described in the related work. Our framework provides a more formal and standardized definition of attacker model for CPS, enabling the use of well-defined and uniform attacker models in the future.
引用
收藏
页码:427 / 449
页数:23
相关论文
共 50 条
  • [1] Generalized attacker and attack models for Cyber Physical Systems
    Adepu, Sridhar
    Mathur, Aditya
    PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS, VOL 1, 2016, : 283 - 292
  • [2] In the mind of an insider attacker on cyber-physical systems and how not being fooled
    Ning, Xirong
    Jiang, Jin
    IET CYBER-PHYSICAL SYSTEMS: THEORY & APPLICATIONS, 2020, 5 (02) : 153 - 161
  • [3] Creation of Physical Models for Cyber-Physical Systems
    Pankratova, Nataliya D.
    CYBER-PHYSICAL SYSTEMS AND CONTROL, 2020, 95 : 55 - 63
  • [4] Semigroup Models of Cyber-physical Systems
    Letichevsky, Alexander A.
    2017 ELEVENTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2017, : 12 - 15
  • [5] Identification of the Attacker in Cyber-Physical Systems with an Application to Vehicular Platooning in Adversarial Environment
    Dadras, Soodeh
    Dadras, Sara
    Winstead, Chris
    2018 ANNUAL AMERICAN CONTROL CONFERENCE (ACC), 2018, : 5560 - 5567
  • [6] Robustness Analysis of Cyber-Physical systems based on Discrete Timed Cyber-Physical Models
    Hsieh, Fu-Shiung
    2021 IEEE WORLD AI IOT CONGRESS (AIIOT), 2021, : 250 - 254
  • [7] Multicore Models of Communication for Cyber-Physical Systems
    Schoeberl, Martin
    CYBER PHYSICAL SYSTEMS: MODEL-BASED DESIGN, CYPHY 2019, 2020, 11971 : 28 - 43
  • [8] Towards Robust Models of Cyber-Physical Systems
    Schaffeld, Matthias
    Weis, Torben
    UBICOMP/ISWC '21 ADJUNCT: PROCEEDINGS OF THE 2021 ACM INTERNATIONAL JOINT CONFERENCE ON PERVASIVE AND UBIQUITOUS COMPUTING AND PROCEEDINGS OF THE 2021 ACM INTERNATIONAL SYMPOSIUM ON WEARABLE COMPUTERS, 2021, : 104 - 107
  • [9] Practical Causal Models for Cyber-Physical Systems
    Ibrahim, Amjad
    Kacianka, Severin
    Pretschner, Alexander
    Hartsell, Charles
    Karsai, Gabor
    NASA FORMAL METHODS (NFM 2019), 2019, 11460 : 211 - 227
  • [10] Uncertainty in Coupled Models of Cyber-Physical Systems
    Acosta, Maribel
    Hahner, Sebastian
    Koziolek, Anne
    Kuehn, Thomas
    Mirandola, Raffaela
    Reussner, Ralf
    ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 569 - 578