Security Enforcement in IoT Systems using Attack Trees - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2018

Security Enforcement in IoT Systems using Attack Trees


Attack trees are graphical representations of the different scenarios that can lead to a security failure. In this paper we propose a security-based framework for modeling IoT systems where attack trees are defined alongside the model to detect and prevent security risks in the system. A successful attack can be a rare event in the execution of a well designed system. When rare, such attacks are hard to detect with usual model checking techniques. Hence, we use importance splitting as a statistical model checking technique for rare events.
Fichier principal
Vignette du fichier
2018_GramSec.pdf (633.92 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01962089 , version 1 (20-12-2018)


  • HAL Id : hal-01962089 , version 1


Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Axel Legay, Jean Quilbeuf. Security Enforcement in IoT Systems using Attack Trees. 2018. ⟨hal-01962089⟩
195 View
118 Download


Gmail Mastodon Facebook X LinkedIn More