Simple Infeasibility Certificates for Attack Trees.

Ahto Buldas Aleksandr Lenin Jan Willemson Anton Charnamord

Published in: IWSEC (2017)

Keyphrases

database
information systems
decision trees
data sets
machine learning
website
highly reliable
key exchange protocol