Approaches to Modeling the Security of Cyberphysical Systems

被引：5
|
作者：
Zegzhda, D. P. [1 ]
Vasil'ev, Yu. S. [1 ]
Poltavtseva, M. A. [1 ]
机构：
[1] St Petersburg Polytech Univ, St Petersburg 195251, Russia
来源：
AUTOMATIC CONTROL AND COMPUTER SCIENCES | 2018年 / 52卷 / 08期
关键词：
cyberphysical system; cybersecurity; cyberphysical system modeling;
D O I：
10.3103/S014641161808031X
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper considers features of cyberphysical systems (CPSs) as complexes combining physical and information components. Approaches to modeling CPSs based on graphs and stochastic dynamics are analyzed. Common features and further directions in CPS modeling are identified. The development direction of the homeostasis-based CPS information security modeling is determined.
引用
收藏
页码：1000 / 1009
页数：10
相关论文
共 50 条
  • [31] Verification of Cyberphysical Systems
    Sirjani, Marjan
    Lee, Edward A.
    Khamespanah, Ehsan
    MATHEMATICS, 2020, 8 (07)
  • [32] The Need of Testbeds for Cyberphysical System Security
    Zhou, Jianying
    IEEE SECURITY & PRIVACY, 2024, 22 (04) : 4 - 6
  • [33] Industrial Cyberphysical Systems
    Colombo, Armando W.
    Karnouskos, Stamatis
    Kaynak, Okyay
    Shi, Yang
    Yin, Shen
    IEEE INDUSTRIAL ELECTRONICS MAGAZINE, 2017, 11 (01) : 6 - 16
  • [34] Verifying Cyberphysical Systems
    Platzer, Andre
    IEEE INTELLIGENT SYSTEMS, 2011, 26 (01) : 13 - 13
  • [35] Dynamic Games With Asymmetric Information and Resource Constrained Players With Applications to Security of Cyberphysical Systems
    Gupta, Abhishek
    Langbort, Cedric
    Basar, Tamer
    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2017, 4 (01): : 71 - 81
  • [36] Quantitative Assessment of Safety and Security of System Architectures for Cyberphysical Systems Using the NFR Approach
    Subramanian, Nary
    Zalewski, Janusz
    IEEE SYSTEMS JOURNAL, 2016, 10 (02): : 397 - 409
  • [37] Fuzzing: Cyberphysical System Testing for Security and Dependability
    Serpanos, Dimitrios
    Katsigiannis, Konstantinos
    COMPUTER, 2021, 54 (09) : 86 - 89
  • [38] Security Assessment of Cyberphysical Digital Microfluidic Biochips
    Ali, Sk Subidh
    Ibrahim, Mohamed
    Sinanoglu, Ozgur
    Chakrabarty, Krishnendu
    Karri, Ramesh
    IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2016, 13 (03) : 445 - 458
  • [39] Formal Verification of Cyberphysical Systems
    Michael, James Bret
    Drusinsky, Doron
    Wijesekera, Duminda
    COMPUTER, 2021, 54 (09) : 15 - 24
  • [40] CYBERPHYSICAL SYSTEMS AS TECHNOLOGYSUBSIDIARIAN ADMINISTRATION
    Sergeyeva, Olesya Yurievna
    NANOTECHNOLOGIES IN CONSTRUCTION-A SCIENTIFIC INTERNET-JOURNAL, 2018, 10 (03): : 94 - 106
12345