Towards an Automated Exploration of Secure IoT/CPS Design-Variants

Lukas Alexander Gressl, Michael Krisper, Christian Steger, Ulrich Neffe

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Abstract

The advent of the Internet of Things (IoT) and Cyber-Physical Systems (CPS) enabled a new class of connected, smart, and interactive devices. With their continuous connectivity and their access to valuable information in both the digital and physical world, they are highly attractive targets for security attackers. Integrating them into the industry and our daily used devices adds new attack surfaces. These potential threats call for special care of security vulnerabilities during the design of IoT devices and CPS. Due to their resource-constrained nature, designing secure IoT devices and CPS poses a complex task, considering the selectable hardware components and task implementation alternatives. Researchers proposed a range of automatic design tools to support system designers in their task of finding the optimal hardware selection and task implementations. Said tools offer a limited way of modeling attack scenarios for a system under design. The framework proposed in this paper aims at closing this gap, offering system designers a way to consider security attacks and security risks during the early phase of system design. It offers designers the possibility to model security constraints from the view of potential attackers, assessing the probability of successful security attacks and the resulting security risk, alike. We demonstrate the framework’s feasibility and performance by revisiting an industry partner’s potential system design of a future IoT device.
Originalspracheenglisch
TitelComputer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Proceedings
Redakteure/-innenAntónio Casimiro, Pedro Ferreira, Frank Ortmeier, Friedemann Bitsch
Herausgeber (Verlag)Springer
Seiten372-386
Seitenumfang15
ISBN (Print)9783030545482
DOIs
PublikationsstatusVeröffentlicht - 31 Jul 2020
VeranstaltungThe 39th International Conference on Computer Safety, Reliability and Security - Virtuell
Dauer: 15 Sep 202018 Sep 2020

Publikationsreihe

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Band12234 LNCS
ISSN (Print)0302-9743
ISSN (elektronisch)1611-3349

Konferenz

KonferenzThe 39th International Conference on Computer Safety, Reliability and Security
KurztitelSAFECOMP 2020
OrtVirtuell
Zeitraum15/09/2018/09/20

ASJC Scopus subject areas

  • !!Computer Science(all)
  • !!Hardware and Architecture

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Fingerprint Untersuchen Sie die Forschungsthemen von „Towards an Automated Exploration of Secure IoT/CPS Design-Variants“. Zusammen bilden sie einen einzigartigen Fingerprint.

  • Projekte

    • 1 Abschlussdatum

    UB Smart - UWB basierende Smart Access Plattform

    Steger, C., Gadringer, M. E., Witrisal, K., Veit, D., Leitgeb, E., Gressl, L. A. & Ess, A.

    1/02/1729/02/20

    Projekt: Foschungsprojekt

    Verwandte Tätigkeiten

    • 1 Vortrag bei Konferenz oder Fachtagung

    Towards an Automated Exploration of Secure IoT/CPS Design-Variants

    Michael Krisper (Redner/in)
    17 Sep 2020

    Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

    Dieses zitieren

    Gressl, L. A., Krisper, M., Steger, C., & Neffe, U. (2020). Towards an Automated Exploration of Secure IoT/CPS Design-Variants. in A. Casimiro, P. Ferreira, F. Ortmeier, & F. Bitsch (Hrsg.), Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Proceedings (S. 372-386). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12234 LNCS). Springer. https://doi.org/10.1007/978-3-030-54549-9_25