HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Thursday, December 20, 2018 - 1:35:53 PM
Last modification on : Monday, April 4, 2022 - 9:28:23 AM
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

175

Files downloads

63