Isabelle Modelchecking for insider threats
Conference paper
Kammueller, F. 2016. Isabelle Modelchecking for insider threats. 11th DPM International Workshop on Data Privacy Management (DPM 2016) co-located with ESORICS 2016. Heraklion, Crete, Greece 26 - 27 Sep 2016 Springer. pp. 196-210 https://doi.org/10.1007/978-3-319-47072-6_13
Type | Conference paper |
---|---|
Title | Isabelle Modelchecking for insider threats |
Authors | Kammueller, F. |
Abstract | The Isabelle Insider framework formalises the technique of social explanation for modeling and analysing Insider threats in infrastructures including physical and logical aspects. However, the abstract Isabelle models need some refinement to provide sufficient detail to explore attacks constructively and understand how the attacker proceeds. The introduction of mutable states into the model leads us to use the concepts of Modelchecking within Isabelle. Isabelle can simply accommodate classical CTL type Modelchecking. We integrate CTL Modelchecking into the Isabelle Insider framework. A running example of an IoT attack on privacy motivates the method throughout and illustrates how the enhanced framework fully supports realistic modeling and analysis of IoT Insiders. |
Research Group | Foundations of Computing group |
Conference | 11th DPM International Workshop on Data Privacy Management (DPM 2016) co-located with ESORICS 2016 |
Page range | 196-210 |
ISSN | 0302-9743 |
ISBN | |
Hardcover | 9783319470719 |
Publisher | Springer |
Publication dates | |
22 Sep 2016 | |
Publication process dates | |
Deposited | 02 Sep 2016 |
Accepted | 11 Aug 2016 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | Attached is an author accepted manuscript version of a paper published in Lecture Notes in Computer Science; made available in this repository in accordance with the publisher's self-archiving policy. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-47072-6_13 |
Additional information | Paper published as chapter in: Data Privacy Management and Security Assurance, 2016, Volume 9963 of the series Lecture Notes in Computer Science pp 196-210 |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-319-47072-6_13 |
Language | English |
Book title | Data Privacy Management and Security Assurance: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings |
https://repository.mdx.ac.uk/item/86912
Download files
32
total views16
total downloads1
views this month0
downloads this month