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.
Beaulaton, Delphine ; Ben Said, Najah ; Cristescu, Ioana ; Fleurquin, Régis ; Legay, Axel ; et. al. A Language for Analyzing Security of IOT Systems.13th Annual Conference on System of Systems Engineering, SoSE 2018 (Paris, 19/06/2018). In: 2018 13th Annual Conference on System of Systems Engineering (SoSE), IEEE2018