Article (Scientific journals)
Semantics for specialising attack trees based on linear logic
Horne, Ross James; Mauw, Sjouke; Tiu, Alwen
2017In Fundamenta Informaticae, 153 (1-2), p. 57-86
Peer Reviewed verified by ORBi
 

Files


Full Text
HMT17.pdf
Author preprint (730.05 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Abstract :
[en] Attack trees profile the sub-goals of the proponent of an attack. Attack trees have a variety of semantics depending on the kind of question posed about the attack, where questions are captured by an attribute domain. We observe that one of the most general semantics for attack trees, the multiset semantics, coincides with a semantics expressed using linear logic propositions. The semantics can be used to compare attack trees to determine whether one attack tree is a specialisation of another attack tree. Building on these observations, we propose two new semantics for an extension of attack trees named causal attack trees. Such attack trees are extended with an operator capturing the causal order of sub-goals in an attack. These two semantics extend the multiset semantics to sets of series-parallel graphs closed under certain graph homomorphisms, where each semantics respects a class of attribute domains. We define a sound logical system with respect to each of these semantics, by using a recently introduced extension of linear logic, called MAV , featuring a non-commutative operator. The non-commutative operator models causal dependencies in causal attack trees. Similarly to linear logic for attack trees, implication defines a decidable preorder for specialising causal attack trees that soundly respects a class of attribute domains.
Disciplines :
Computer science
Author, co-author :
Horne, Ross James ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Mauw, Sjouke ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Tiu, Alwen
External co-authors :
yes
Language :
English
Title :
Semantics for specialising attack trees based on linear logic
Publication date :
2017
Journal title :
Fundamenta Informaticae
ISSN :
0169-2968
Publisher :
IOS Press
Volume :
153
Issue :
1-2
Pages :
57-86
Peer reviewed :
Peer Reviewed verified by ORBi
Focus Area :
Security, Reliability and Trust
FnR Project :
FNR5809105 - Attack-defence Trees: Theory Meets Practice, 2013 (01/07/2014-30/06/2017) - Sjouke Mauw
Available on ORBilu :
since 03 February 2018

Statistics


Number of views
210 (4 by Unilu)
Number of downloads
323 (0 by Unilu)

Scopus citations®
 
26
Scopus citations®
without self-citations
19
WoS citations
 
13

Bibliography


Similar publications



Contact ORBilu