Attack trees in Isabelle extended with probabilities for Quantum Cryptography
Article
Kammueller, F. 2019. Attack trees in Isabelle extended with probabilities for Quantum Cryptography. Computers and Security. 87. https://doi.org/10.1016/j.cose.2019.101572
Type | Article |
---|---|
Title | Attack trees in Isabelle extended with probabilities for Quantum Cryptography |
Authors | Kammueller, F. |
Abstract | In this paper, we present a proof calculus for Attack Trees and how its application to Quantum Cryptography is made possible by extending the framework to probabilistic reasoning on attacks. Attack trees are a well established and useful model for the construction of attacks on systems since they allow a stepwise exploration of high level attacks in application scenarios. Using the expressiveness of Higher Order Logic in Isabelle, we succeed in developing a generic theory of attack trees with a state-based semantics based on Kripke structures and CTL. The resulting framework allows mechanically supported logic analysis of the meta-theory of the proof calculus of attack trees and at the same time the developed proof theory enables application to case studies. A central correctness and completeness result proved in Isabelle establishes a connection between the notion of attack tree validity and CTL. |
Publisher | Elsevier |
Journal | Computers and Security |
ISSN | 0167-4048 |
Publication dates | |
Online | 26 Jul 2019 |
01 Nov 2019 | |
Publication process dates | |
Deposited | 05 Aug 2019 |
Accepted | 17 Jul 2019 |
Output status | Published |
Accepted author manuscript | License File Access Level Open |
Copyright Statement | © 2019. This author's accepted manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ |
Digital Object Identifier (DOI) | https://doi.org/10.1016/j.cose.2019.101572 |
Language | English |
https://repository.mdx.ac.uk/item/8863w
Download files
59
total views11
total downloads0
views this month0
downloads this month