TY - GEN
T1 - Attack Trees vs. Fault Trees
T2 - 18th International Conference on Quantitative Evaluation of Systems, QEST 2021
AU - Budde, Carlos E.
AU - Kolb, Christina
AU - Stoelinga, Mariëlle
N1 - Funding Information:
This work was partially funded by NWO project 15474 (SEQUOIA) and ERC Consolidator Grant 864075 (CAESAR).
PY - 2021/8/19
Y1 - 2021/8/19
N2 - This work compares formal approaches to define and operate with attack trees and fault trees. We start by investigating similarities between the syntactic structure, semantics, and qualitative analysis, of static attack trees and fault trees. Then we point out differences of the analysis methods and metrics between the two formalisms, providing a deeper insight for their dynamic variants. Finally, we overview several extensions and categorise them using the new concept of dimension, which allows us to compare these extensions and point out research gaps.
AB - This work compares formal approaches to define and operate with attack trees and fault trees. We start by investigating similarities between the syntactic structure, semantics, and qualitative analysis, of static attack trees and fault trees. Then we point out differences of the analysis methods and metrics between the two formalisms, providing a deeper insight for their dynamic variants. Finally, we overview several extensions and categorise them using the new concept of dimension, which allows us to compare these extensions and point out research gaps.
UR - http://www.scopus.com/inward/record.url?scp=85115155385&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-85172-9_24
DO - 10.1007/978-3-030-85172-9_24
M3 - Conference contribution
AN - SCOPUS:85115155385
SN - 9783030851712
VL - 12846
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 457
EP - 467
BT - Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Proceedings
A2 - Abate, Alessandro
A2 - Marin, Andrea
PB - Springer
Y2 - 23 August 2021 through 27 August 2021
ER -