CONFIDENTIALITY OF CYBER-PHYSICAL SYSTEMS USING EVENT-BASED CRYPTOGRAPHY

被引:4
|
作者
Lima, Publio M. [1 ]
Carvalho, Lilian K. [1 ]
Moreira, Marcos, V [1 ]
机构
[1] Univ Fed Rio de Janeiro, COPPE Elect Engn Program, BR-21945970 Rio De Janeiro, RJ, Brazil
来源
IFAC PAPERSONLINE | 2020年 / 53卷 / 02期
关键词
Cyber-security; Cyber-physical systems; Network communication; Discrete-event systems; Automata; Confidentiality; Encryption; SUPERVISORY CONTROL; OPACITY; DIAGNOSABILITY; ATTACKS;
D O I
10.1016/j.ifacol.2020.12.2288
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
One of the most important challenges for the application of cyber-physical systems (CPS) in smart industries is ensuring its security against cyber attacks. In this paper, we consider that the CPS is abstracted as a Discrete-Event System (DES), and we consider cyber attacks where the intruder eavesdrops the sensor communication channel to detect the occurrence of a sequence in the secret behavior of the system. In order to prevent the attacker from getting information from the sensor channel, we introduce a new cryptographic scheme based on events called event-based cryptography. We also define the property of confidentiality of DES, present a necessary and sufficient condition for ensuring this property, and propose a verification test. Copyright (C) 2020 The Authors.
引用
收藏
页码:1735 / 1740
页数:6
相关论文
共 50 条
  • [1] Ensuring confidentiality of cyber-physical systems using event-based cryptography
    Lima, Publio M.
    Carvalho, Lilian K.
    Moreira, Marcos V.
    [J]. INFORMATION SCIENCES, 2023, 621 : 119 - 135
  • [2] Event-based cryptography for automation networks of cyber-physical systems using the stream cipher ChaCha20
    Lima, Publio M.
    da Silva, Carlos K. P.
    de Farias, Claudio M.
    Carvalho, Lilian K.
    Moreira, Marcos, V
    [J]. IFAC PAPERSONLINE, 2022, 55 (28): : 58 - 65
  • [3] An actor-based framework for asynchronous event-based cyber-physical systems
    Iman Jahandideh
    Fatemeh Ghassemi
    Marjan Sirjani
    [J]. Software and Systems Modeling, 2021, 20 : 641 - 665
  • [4] An actor-based framework for asynchronous event-based cyber-physical systems
    Jahandideh, Iman
    Ghassemi, Fatemeh
    Sirjani, Marjan
    [J]. SOFTWARE AND SYSTEMS MODELING, 2021, 20 (03): : 641 - 665
  • [5] Stochastic Event-Based Physical Watermarks Against Replay Attacks in Cyber-Physical Systems
    Zhao, Xudong
    Liu, Le
    Xing, Wei
    Xu, Ning
    [J]. IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2024, 11 (02): : 1035 - 1045
  • [6] Cyber-Attack Detection by Using Event-Based Control in Multi-Agent Cyber-Physical Systems
    Eslami, Ali
    Khorasani, Khashayar
    [J]. 2023 EUROPEAN CONTROL CONFERENCE, ECC, 2023,
  • [7] On distributed event-based optimization for shared economy in cyber-physical energy systems
    Jia, Qing-Shan
    Wu, Junjie
    [J]. SCIENCE CHINA-INFORMATION SCIENCES, 2018, 61 (11)
  • [8] On distributed event-based optimization for shared economy in cyber-physical energy systems
    Qing-Shan JIA
    Junjie WU
    [J]. Science China(Information Sciences), 2018, 61 (11) : 11 - 13
  • [9] On distributed event-based optimization for shared economy in cyber-physical energy systems
    Qing-Shan Jia
    Junjie Wu
    [J]. Science China Information Sciences, 2018, 61
  • [10] An Event-based Architecture for Cyber Physical Systems
    Li, Xiaoyu
    Wang, Yuying
    Thou, Xingshe
    [J]. 2014 4TH IEEE INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND TECHNOLOGY (ICIST), 2014, : 96 - 99