Attack Trees in Isabelle.

Florian Kammüller

Published in: ICICS (2018)

Keyphrases

theorem prover
countermeasures
decision trees
tree structure
secret key
tree models
database
knowledge representation
inference rules
tree structures
labeled trees