A Language for Analyzing Security of IOT Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

A Language for Analyzing Security of IOT Systems

Régis Fleurquin
  • Function : Author
  • PersonId : 845482
Axel Legay
  • Function : Author
  • PersonId : 861400
Jean Quilbeuf
  • Function : Author
Salah Sadou
  • Function : Author
  • PersonId : 845483


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)

Dates and versions

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





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⟩
181 View
252 Download



Gmail Mastodon Facebook X LinkedIn More