Deciding the Non-emptiness of Attack Trees.

Maxime Audinot Sophie Pinchinat François Schwarzentruber Florence Wacheux

Published in: GraMSec@FLoC (2018)

Keyphrases

tree automata
decision trees
tree structures
secret key
malicious attacks
classification trees
tree models
tree nodes
database systems
relational databases
tree structure
authentication protocol
ddos attacks
tree construction