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 metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-01960860
Contributor : Ioana Cristescu <>
Submitted on : Wednesday, December 19, 2018 - 3:52:54 PM
Last modification on : Thursday, March 26, 2020 - 1:15:47 AM
Document(s) archivé(s) le : Thursday, March 21, 2019 - 2:24:35 AM

File

2018_SOSE_IOT_language.pdf
Files produced by the author(s)

Licence


Copyright

Identifiers

Citation

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⟩

Share

Metrics

Record views

291

Files downloads

599