Modeling security in cyber-physical systems

被引：67

作者：

Burmester, Mike ^{[1
]}

Magkos, Ernmanouil ^{[2
]}

Chrissikopoulos, Vassilis ^{[2
]}

机构：

[1] Florida State Univ, Dept Comp Sci, Tallahassee, FL 32306 USA

[2] Ionian Univ, Dept Informat, Corfu 49100, Greece

来源：

INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION | 2012年 / 5卷 / 3-4期

基金：

美国国家科学基金会;

关键词：

Cyber-physical systems; Threat models; Treaty verification protocols; ATTACKS;

D O I：

10.1016/j.ijcip.2012.08.002

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper describes a framework for modeling the security of a cyber-physical system in which the behavior of the adversary is controlled by a threat model that captures - in a unified manner - the cyber aspects (with discrete values) and the physical aspects (with continuous values) of the cyber-physical system. In particular, the framework addresses combined (dependent) vector attacks and synchronization/localization issues. The framework identifies the cyber-physical features that must be protected according to the prevailing security policy. Also, the framework can be used for formal proofs of the security of cyber-physical systems. (C) 2012 Elsevier B.V. All rights reserved.

引用

页码：118 / 126

页数：9

共 50 条

[31] Modeling Architectures of Cyber-Physical Systems
Kusmenko, Evgeny
Roth, Alexander
Rumpe, Bernhard
von Wenckstern, Michael
[J]. MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2017, 2017, 10376 : 34 - 50
[32] Context modeling for cyber-physical systems
Daun, Marian
Tenbergen, Bastian
[J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2023, 35 (07)
[33] Challenges in Modeling Cyber-Physical Systems
Broy, Manfred
[J]. 2013 ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS (IPSN), 2013, : 5 - 5
[34] Compositional Cyber-Physical Systems Modeling
Bakirtzis, Georgios
Vasilakopoulou, Christina
Fleming, Cody H.
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (333): : 125 - 138
[35] A first Cyber-Physical Systems of Systems modeling
Maurice, Olivier
[J]. 2018 13TH ANNUAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2018, : 9 - 13
[36] Cyber-physical systems security: A systematic review
Harkat, Houda
Camarinha-Matos, Luis M.
Goes, Joao
Ahmed, Hasmath F. T.
[J]. COMPUTERS & INDUSTRIAL ENGINEERING, 2024, 188
[37] A Benchmark of Security Metrics in Cyber-Physical Systems
Aigner, Andreas
Khelil, Abdelmajid
[J]. 2020 IEEE INTERNATIONAL CONFERENCE ON SENSING, COMMUNICATION AND NETWORKING (SECONWORKSHOPS), 2020,
[38] Cyber-Physical Systems: Security Threats and Countermeasures
Hammoudeh, Mohammad
Epiphaniou, Gregory
Pinto, Pedro
[J]. JOURNAL OF SENSOR AND ACTUATOR NETWORKS, 2023, 12 (01)
[39] Security Protection Technology of Cyber-Physical Systems
Ye, Hong
[J]. INTERNATIONAL JOURNAL OF SECURITY AND ITS APPLICATIONS, 2015, 9 (02): : 159 - 168
[40] Hypergames and Cyber-Physical Security for Control Systems
Bakker, Craig
Bhattacharya, Arnab
Chatterjee, Samrat
Vrabie, Draguna L.
[J]. ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 2020, 4 (04)

← 1 2 3 4 5 →