The attacker does not always hold the initiative: attack trees with external refinement

Ross Horne, Sjouke Mauw, Alwen Tiu

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Abstract

Attack trees provide a structure to an attack scenario, where disjunctions represent choices decomposing attacker’s goals into smaller subgoals. This paper investigates the nature of choices in attack trees. For some choices, the attacker has the initiative, but for other choices either the environment or an active defender decides. A semantics for attack trees combining both types of choice is expressed in linear logic and connections with extensive-form games are highlighted. The linear logic semantics defines a specialisation preorder enabling trees, not necessarily equal, to be compared in such a way that all strategies are preserved.

Original languageEnglish
Title of host publicationGraphical Models for Security - 5th International Workshop, GraMSec 2018, Revised Selected Papers
EditorsDavid Pym, George Cybenko, Barbara Fila
Place of PublicationCham
PublisherSpringer-Verlag
Pages90-110
Number of pages21
Volume11086
ISBN (Electronic)9783030154653
ISBN (Print)9783030154646
DOIs
Publication statusPublished - 31 Mar 2019
Event5th International Workshop on Graphical Models for Security, GraMSec 2018 - Oxford, United Kingdom
Duration: 8 Jul 20188 Jul 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11086 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference5th International Workshop on Graphical Models for Security, GraMSec 2018
Country/TerritoryUnited Kingdom
CityOxford
Period8/07/188/07/18

Keywords

  • attack trees
  • extensive-form games
  • game semantics
  • linear logic
  • attack scenario
  • computer circuits

Fingerprint

Dive into the research topics of 'The attacker does not always hold the initiative: attack trees with external refinement'. Together they form a unique fingerprint.

Cite this