Skip to Main content Skip to Navigation
Conference papers

A Language for Analyzing Security of IOT Systems

Delphine Beaulaton 1 Najah Ben Said 1 Ioana Cristescu 1 Régis Fleurquin 2 Axel Legay 3 Jean Quilbeuf 4 Salah Sadou 2
1 TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : The control and protection of a user data is a very important aspect in the design and deployment of the Internet of Things (IoT). In this paper we propose a security-based modelling language for IoT systems, which explicitly represents data access controls. The language leverages the analysis of potential security failures resulting from a series of interactions between heterogeneous components of a system. We implemented a tool that automatically transforms IoT models into BIP models, which can then be simulated and analyzed for security guarantees. We illustrate the features of our language with a use-case inspired by an industrial scenario.
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Ioana Cristescu Connect in order to contact the contributor
Submitted on : Wednesday, December 19, 2018 - 3:52:54 PM
Last modification on : Friday, January 21, 2022 - 3:09:32 AM
Long-term archiving on: : Thursday, March 21, 2019 - 2:24:35 AM


Files produced by the author(s)





Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Régis Fleurquin, Axel Legay, et al.. A Language for Analyzing Security of IOT Systems. SoSE 2018 - 13th Annual Conference on System of Systems Engineering, Jun 2018, Paris, France. pp.37-44, ⟨10.1109/SYSOSE.2018.8428704⟩. ⟨hal-01960860⟩



Les métriques sont temporairement indisponibles