A SAND attack tree is a graphical model decomposing an attack scenario into basic actions to be executed by the attacker. SAND attack trees extend classical attack trees by including the sequential conjunctive operator (SAND) to the formalism. They thus allow to differentiate actions that need to be executed sequentially from those that can be performed in parallel. Since several structurally different SAND attack trees can represent the same attack scenario, it is important to be able to decide which SAND attack trees are equivalent. SPTool is free, open source software for checking equivalence of SAND attack trees and computing their canonical forms. It relies on term rewriting techniques and an equational theory axiomatizing SAND attack trees.
CITATION STYLE
Kordy, B., Kordy, P., & van den Boom, Y. (2017). SPTool – equivalence checker for SAND attack trees. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10158 LNCS, pp. 105–113). Springer Verlag. https://doi.org/10.1007/978-3-319-54876-0_8
Mendeley helps you to discover research relevant for your work.