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

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.
Fichier principal
Vignette du fichier
2018_GramSec.pdf (633.92 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01962089 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More