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

https://hal.inria.fr/hal-01962089
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

File

2018_GramSec.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01962089, version 1

Citation

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

Share

Metrics

Record views

245

Files downloads

201