Abstract
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.
Original language | English |
---|---|
Title of host publication | Quantitative Evaluation of Systems |
Subtitle of host publication | 18th International Conference, QEST 2021, Proceedings |
Editors | Alessandro Abate, Andrea Marin |
Place of Publication | Cham |
Publisher | Springer |
Pages | 457-467 |
Number of pages | 11 |
ISBN (Electronic) | 978-3-030-85172-9 |
ISBN (Print) | 978-3-030-85171-2 |
DOIs | |
Publication status | Published - 19 Aug 2021 |
Event | 18th International Conference on Quantitative Evaluation of Systems, QEST 2021 - Virtual Conference Duration: 23 Aug 2021 → 27 Aug 2021 Conference number: 18 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 12846 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 18th International Conference on Quantitative Evaluation of Systems, QEST 2021 |
---|---|
Abbreviated title | QEST 2021 |
City | Virtual Conference |
Period | 23/08/21 → 27/08/21 |