Skip to Main content Skip to Navigation
Book sections

A Modeling Language for Security Threats of IoT Systems

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.
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Ioana Cristescu <>
Submitted on : Thursday, December 20, 2018 - 1:30:14 PM
Last modification on : Wednesday, May 12, 2021 - 3:39:36 AM
Long-term archiving on: : Friday, March 22, 2019 - 3:46:51 PM


Files produced by the author(s)



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⟩



Record views


Files downloads