SPTool - Equivalence Checker for SAND Attack Trees.

Barbara Kordy Piotr Kordy Yoann van den Boom

Published in: CRiSIS (2016)

Keyphrases

decision trees
countermeasures
tree structures
tree models
ddos attacks
dos attacks
tree construction
data corruption
real time
machine learning
search engine
multi agent
tree structure
encryption algorithm
labeled trees