A Modeling Language for Security Threats of IoT Systems - Archive ouverte HAL Access content directly
Book Sections Year : 2018

A Modeling Language for Security Threats of IoT Systems

(1) , (1) , (2) , (3)
1
2
3

Abstract

We propose a security-based modeling language for IoT systems with two important features: vulnerabilities are explicitly represented and interactions are allowed or denied based on the information stored on the IoT devices. An IoT system is transformed in BIP, a component-based modeling language, in which can execute the system and perform security analysis. As proof-of-concept for our approach we model an attack on the Amazon Smart-Key system.
Fichier principal
Vignette du fichier
IoT_BIP_Susanne_Graf.pdf (1.03 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01962080 , version 1 (20-12-2018)

Identifiers

Cite

Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf. A Modeling Language for Security Threats of IoT Systems. Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, 11119, Springer, pp.258-268, 2018, LNCS, 978-3-030-00243-5. ⟨10.1007/978-3-030-00244-2_17⟩. ⟨hal-01962080⟩
102 View
146 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More