| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
A Language for Analyzing Security of IOT Systems
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.
Cited literature [13 references]
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
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)