Analysis and design of secure cyber-physical systems

被引：2
|
作者：
Ling SHI [1 ]
机构：
[1] School of Engineering, Hong Kong University of Science & Technology
来源：
Control Theory and Technology | 2014年 / 12卷 / 04期
关键词：
Analysis and design of secure cyber-physical systems; CPS;
D O I：
暂无
中图分类号：
TP393.08 [];
学科分类号：
0839 ; 1402 ;
摘要：
Cyber-physical systems(CPSs)are new emerging systems that seamlessly integrate physical systems,communication systems and computation systems.Their wide use has been witnessed in the past decades in many crossdiscipline fields such as smart energy systems,industrial process control,aerospace and automobile engineering,health-care and assisted living,to just name a few.For many of these systems,secure operations are of key con-
引用
收藏
页码：413 / 414
页数：2
相关论文
共 50 条
  • [1] Analysis and design of secure cyber-physical systems
    Shi L.
    Control Theory and Technology, 2015, 12 (04): : 413 - 414
  • [2] Design and Operation of Secure Cyber-Physical Systems
    Pasqualetti, Fabio
    Zhu, Qi
    IEEE EMBEDDED SYSTEMS LETTERS, 2015, 7 (01) : 3 - 6
  • [3] Optimal sensor design for secure cyber-physical systems
    Belabbas, Mohamed Ali
    Chen, Xudong
    IFAC PAPERSONLINE, 2019, 52 (20): : 387 - 390
  • [4] Design and Analysis of Cyber-Physical Systems
    Plakhotnikov, Dmitriy P.
    Kotova, Elena E.
    PROCEEDINGS OF THE 2021 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (ELCONRUS), 2021, : 589 - 593
  • [5] The Integrated Model of Secure Cyber-Physical Systems for Their Design and Verification
    Levshun, Dmitry
    Kotenko, Igor
    Chechulin, Andrey
    INTELLIGENT DISTRIBUTED COMPUTING XIII, 2020, 868 : 333 - 343
  • [6] Safe and secure cyber-physical systems
    Biro, Miklos
    Mashkoor, Atif
    Sametinger, Johannes
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2021, 33 (09)
  • [7] Design and Verification Methodology for Secure and Distributed Cyber-Physical Systems
    Levshun, Dmitry
    Chechulin, Andrey
    Kotenko, Igor
    Chevalier, Yannick
    2019 10TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2019,
  • [8] Towards a Methodology to Design Provably Secure Cyber-Physical Systems
    Malaquias, Felipe Lisboa
    Giantamidis, Georgios
    Basagiannis, Stylianos
    Rollini, Simone Fulvio
    Amundson, Isaac
    Ada User Journal, 2023, 44 (02): : 146 - 151
  • [9] Cyber LOPA: An Integrated Approach for the Design of Dependable and Secure Cyber-Physical Systems
    Tantawy, Ashraf
    Abdelwahed, Sherif
    Erradi, Abdelkarim
    IEEE TRANSACTIONS ON RELIABILITY, 2022, 71 (02) : 1075 - 1091
  • [10] Design Space Exploration for Secure IoT Devices and Cyber-Physical Systems
    Gressl, Lukas
    Steger, Christian
    Neffe, Ulrich
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2021, 20 (04)
12345