A proof calculus for attack trees in Isabelle
Conference paper
Kammueller, F. 2017. A proof calculus for attack trees in Isabelle. 12th International Workshop on Data Privacy Management (DPM 2017). Oslo, Norway 14 - 15 Sep 2017 Springer. pp. 3-18 https://doi.org/10.1007/978-3-319-67816-0_1
Type | Conference paper |
---|---|
Title | A proof calculus for attack trees in Isabelle |
Authors | Kammueller, F. |
Abstract | Attack trees are an important modeling formalism to identify and quantify attacks on security and privacy. They are very useful as a tool to understand step by step the ways through a system graph that lead to the violation of security policies. In this paper, we present how attacks can be refined based on the violation of a policy. To that end we provide a formal definition of attack trees in Isabelle’s Higher Order Logic: a proof calculus that defines how to refine sequences of attack steps into a valid attack. We use a notion of Kripke semantics as formal foundation that then allows to express attack goals using branching time temporal logic CTL. We illustrate the use of the mechanized Isabelle framework on the example of a privacy attack to an IoT healthcare system. |
Conference | 12th International Workshop on Data Privacy Management (DPM 2017) |
Page range | 3-18 |
ISSN | 0302-9743 |
ISBN | |
Hardcover | 9783319678153 |
Publisher | Springer |
Publication dates | |
13 Sep 2017 | |
Publication process dates | |
Deposited | 10 Aug 2017 |
Accepted | 23 Jul 2017 |
Completed | 01 Aug 2017 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | The final publication is available at Springer via via http://dx.doi.org/10.1007/978-3-319-67816-0 |
Additional information | Paper published as: |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-319-67816-0_1 |
Language | English |
Book title | Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings |
https://repository.mdx.ac.uk/item/871yv
Download files
44
total views25
total downloads1
views this month1
downloads this month