Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Security Enforcement in IoT Systems using Attack Trees

Abstract : 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.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download
Contributor : Ioana Cristescu <>
Submitted on : Thursday, December 20, 2018 - 1:35:53 PM
Last modification on : Friday, November 20, 2020 - 1:08:01 PM
Long-term archiving on: : Friday, March 22, 2019 - 11:13:02 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads