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 条
  • [1] On modeling of electrical cyber-physical systems considering cyber security
    Wang, Yi-nan
    Lin, Zhi-yun
    Liang, Xiao
    Xu, Wen-yuan
    Yang, Qiang
    Yan, Gang-feng
    [J]. FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2016, 17 (05) : 465 - 478
  • [2] On modeling of electrical cyber-physical systems considering cyber security
    Yi-nan WANG
    Zhi-yun LIN
    Xiao LIANG
    Wen-yuan XU
    Qiang YANG
    Gang-feng YAN
    [J]. Frontiers of Information Technology & Electronic Engineering, 2016, 17 (05) : 465 - 478
  • [3] On modeling of electrical cyber-physical systems considering cyber security
    Yi-nan Wang
    Zhi-yun Lin
    Xiao Liang
    Wen-yuan Xu
    Qiang Yang
    Gang-feng Yan
    [J]. Frontiers of Information Technology & Electronic Engineering, 2016, 17 : 465 - 478
  • [4] Fundamental Challenges of Cyber-Physical Systems Security Modeling
    Bakirtzis, Georgios
    Ward, Garrett L.
    Deloglos, Christopher J.
    Elks, Carl R.
    Horowitz, Barry M.
    Fleming, Cody H.
    [J]. 2020 50TH ANNUAL IEEE-IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME (DSN-S), 2020, : 33 - 36
  • [5] A Method for Modeling and Evaluation of the Security of Cyber-Physical Systems
    Orojloo, Hamed
    Azgomi, Mohammad Abdollahi
    [J]. 2014 11TH INTERNATIONAL ISC CONFERENCE ON INFORMATION SECURITY AND CRYPTOLOGY (ISCISC), 2014, : 131 - 136
  • [6] Cyber-Physical Systems - Security
    Zseby, T.
    [J]. ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2018, 135 (03): : 249 - 249
  • [7] 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
  • [8] Cyber-Physical Systems – Security
    Tanja Zseby
    [J]. e & i Elektrotechnik und Informationstechnik, 2018, 135 (3) : 249 - 249
  • [9] Systems-theoretic security requirements modeling for cyber-physical systems
    Carter, Bryan T.
    Bakirtzis, Georgios
    Elks, Carl R.
    Fleming, Cody H.
    [J]. SYSTEMS ENGINEERING, 2019, 22 (05) : 411 - 421
  • [10] Security-Aware Functional Modeling of Cyber-Physical Systems
    Wan, Jiang
    Canedo, Arquimedes
    Al Faruque, Mohammad Abdullah
    [J]. PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2015,
12345