![](/img/cover-not-exists.png)
Attack Trees in Isabelle extended with Probabilities for Quantum Cryptography
Kammüller, FlorianLanguage:
english
Journal:
Computers & Security
DOI:
10.1016/j.cose.2019.101572
Date:
July, 2019
File:
PDF, 885 KB
english, 2019