A Language for Analyzing Security of IOT Systems - Archive ouverte HAL Access content directly
Conference Papers Year :

A Language for Analyzing Security of IOT Systems

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

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.
Fichier principal
Vignette du fichier
2018_SOSE_IOT_language.pdf (410 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01960860 , version 1 (19-12-2018)

Licence

Copyright

Identifiers

Cite

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⟩
161 View
200 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More