Design Space Exploration for Secure IoT Devices and Cyber-Physical Systems

被引:6
|
作者
Gressl, Lukas [1 ]
Steger, Christian [1 ]
Neffe, Ulrich [2 ]
机构
[1] Graz Univ Technol, Inst Tech Informat, Graz, Austria
[2] NXP Semicond Austria GmbH, Gratkorn, Austria
关键词
Datasets; neural networks; gaze detection; text tagging;
D O I
10.1145/3430372
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
With the advent of the Internet of Things (IoT) and Cyber-Physical Systems (CPS), embedded devices have been gaining importance in our daily lives, as well as industrial processes. Independent of their usage, be it within an IoT system or a CPS, embedded devices are always an attractive target for security attacks, mainly due to their continuous network availability and the importance of the data they handle. Thus, the design of such systems requires a thorough consideration of the various security constraints they are liable to. Introducing these security constraints, next to other requirements, such as power consumption, and performance increases the number of design choices a system designer must consider. As the various constraints are often conflicting with each other, designers face the complex task of balancing them. System designers facilitate Design Space Exploration (DSE) tools to support a system designer in this job. However, available DSE tools only offer a limited way of considering security constraints during the design process. In this article, we introduce a novel DSE framework, which allows the consideration of security constraints, in the form of attack scenarios, and attack mitigations in the form of security tasks. Based on the descriptions of the system's functionality and architecture, possible attacks, and known mitigation techniques, the framework finds the optimal design for a secure IoT device or CPS. Our framework's functionality and its benefits are shown based on the design of a secure sensor system.
引用
收藏
页数:24
相关论文
共 50 条
  • [1] Reliable and Secure Design-Space-Exploration for Cyber-Physical Systems
    Ghosh, Saurav Kumar
    Sheriff, Jaffer R. C.
    Jain, Vibhor
    Dey, Soumyajit
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2020, 19 (03)
  • [2] Pareto optimal design space exploration of cyber-physical systems
    Amir, Maral
    Givargis, Tony
    [J]. INTERNET OF THINGS, 2020, 12
  • [3] Design Lifecycle for Secure Cyber-Physical Systems based on Embedded Devices
    Levshun, Dmitry
    Chechulin, Andrey
    Kotenko, Igor
    [J]. PROCEEDINGS OF THE 2017 9TH IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS (IDAACS), VOL 1, 2017, : 277 - 282
  • [4] Analysis and design of secure cyber-physical systems
    Ling SHI
    [J]. Control Theory and Technology, 2014, 12 (04) : 413 - 414
  • [5] Design and Operation of Secure Cyber-Physical Systems
    Pasqualetti, Fabio
    Zhu, Qi
    [J]. IEEE EMBEDDED SYSTEMS LETTERS, 2015, 7 (01) : 3 - 6
  • [6] Analysis and design of secure cyber-physical systems
    Shi L.
    [J]. Control Theory and Technology, 2014, 12 (4) : 413 - 414
  • [7] Ontological reasoning in the design space exploration of advanced cyber-physical systems
    Vanommeslaeghe, Yon
    Denil, Joachim
    De Viaene, Jasper
    Ceulemans, David
    Derammelaere, Stijn
    De Meulenaere, Paul
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 2021, 85
  • [8] Automatic Generation of Workflows for Efficient Design Space Exploration for Cyber-Physical Systems
    Vanommeslaeghe, Yon
    Denil, Joachim
    Van Acker, Bert
    De Meulenaere, Paul
    [J]. IEEE CONGRESS ON CYBERMATICS / 2021 IEEE INTERNATIONAL CONFERENCES ON INTERNET OF THINGS (ITHINGS) / IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) / IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) / IEEE SMART DATA (SMARTDATA), 2021, : 346 - 351
  • [9] Optimal sensor design for secure cyber-physical systems
    Belabbas, Mohamed Ali
    Chen, Xudong
    [J]. IFAC PAPERSONLINE, 2019, 52 (20): : 387 - 390
  • [10] Secure Cyber-Physical Object Identification in Industrial IoT-Systems
    Woehnert, Kai Hendrik
    Woehnert, Sven-Jannik
    Thiel, Tobias
    Weissbach, Ruediger
    Skwarek, Volker
    [J]. 30TH INTERNATIONAL CONFERENCE ON FLEXIBLE AUTOMATION AND INTELLIGENT MANUFACTURING (FAIM2021), 2020, 51 : 1221 - 1228