Attack tree analysis for insider threats on the IoT using Isabelle

Kammueller, Florian and Nurse, Jason R. C. and Probst, Christian (2016) Attack tree analysis for insider threats on the IoT using Isabelle. In: 4th International Conference on Human Aspects of Security, Privacy and Trust, HCII-HAS 2016, 17-24 Jul 2016, Toronto, ON, Canada. (Accepted/In press)

[img] PDF - Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only

Download (296kB) |
This item is available in: Library Catalogue


The Internet-of-Things (IoT) aims at integrating small devices around humans. The threat from human insiders in “regular” organisations is real; in a fully-connected world of the IoT, organisations face a substantially more severe security challenge due to unexpected access possibilities and information flow. In this paper, we seek to illustrate and classify insider threats in relation to the IoT (by ‘smart insiders’), exhibiting attack vectors for their characterisation. To model the attacks we apply a method of formal modelling of Insider Threats in the interactive theorem prover Isabelle. On the classified IoT attack examples, we show how this logical approach can be used to make the models more precise and to analyse the previously identified Insider IoT attacks using Isabelle attack trees

Item Type: Conference or Workshop Item (Paper)
Additional Information: Series: Information Systems and Applications, incl. Internet/Web, and HCI, Lecture Notes in Computer Science Vol. 9750
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 19714
Notes on copyright: Access to full text restricted pending copyright check
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 04 May 2016 14:12
Last Modified: 13 Oct 2016 14:39

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year