Attack trees in Isabelle extended with probabilities for quantum cryptography.

Florian Kammüller

Published in: Comput. Secur. (2019)

Keyphrases

decision trees
cellular automata
theorem prover
neural network
probability distribution
information security
belief networks
data sets
information retrieval
countermeasures
tree structures
detection mechanism
natural deduction
quantum inspired
quantum computation