Evil Twins: Handling Repetitions in Attack–Defense Trees: A Survival Guide - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Evil Twins: Handling Repetitions in Attack–Defense Trees: A Survival Guide

Résumé

Attack–defense trees are a simple but potent and efficient way to represent and evaluate security scenarios involving a malicious attacker and a defender – their adversary. The nodes of attack–defense trees are labeled with goals of the two actors, and actions that they need to execute to achieve these goals. The objective of this paper is to provide formal guidelines on how to deal with attack–defense trees where several nodes have the same label. After discussing typical issues related to such trees, we define the notion of well-formed attack–defense trees and adapt existing semantics to correctly capture the presence of repeated labels.
Fichier principal
Vignette du fichier
GraMSec17.pdf (545.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01728782 , version 1 (12-03-2018)

Identifiants

  • HAL Id : hal-01728782 , version 1

Citer

Angèle Bossuat, Barbara Kordy. Evil Twins: Handling Repetitions in Attack–Defense Trees: A Survival Guide. Graphical Models for Security, Aug 2017, Santa Barbara, United States. pp.17-37. ⟨hal-01728782⟩
212 Consultations
103 Téléchargements

Partager

Gmail Facebook X LinkedIn More