Browse by Journal
![]() | See full list of headings |
Jump to: K
Number of items: 1.
K
Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488
(2019)
Attack Trees in Isabelle extended with probabilities for Quantum Cryptography.
Computers and Security, 87
, 101572.
ISSN 0167-4048
[Article]
(doi:10.1016/j.cose.2019.101572)