Human centric security and privacy for the IoT using formal techniques

Kammueller, Florian (2018) Human centric security and privacy for the IoT using formal techniques. In: 3rd International Conference on Human Factors in Cybersecurity, 17-21 Jul 2017, Los Angeles, CA, United States. (doi:10.1007/978-3-319-60585-2_12)

[img]
Preview
PDF - Final accepted version (with author's formatting)
Download (541kB) | Preview

Abstract

In this paper, we summarize a new approach to make security and privacy issues in the Internet of Things (IoT) more transparent for vulnerable users. As a pilot project, we investigate monitoring of Alzheimer’s patients for a low-cost early warning system based on bio-markers supported with smart technologies. To provide trustworthy and secure IoT infrastructures, we employ formal methods and techniques that allow specification of IoT scenarios with human actors, refinement and analysis of attacks and generation of certified code for IoT component architectures.

Item Type: Conference or Workshop Item (Paper)
Additional Information: First Online: 16 June 2017. Published as: Kammüller F. (2018) Human Centric Security and Privacy for the IoT Using Formal Techniques. In: Nicholson D. (eds) Advances in Human Factors in Cybersecurity. AHFE 2017. Advances in Intelligent Systems and Computing, vol 593. Springer, Cham
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 21975
Notes on copyright: This is a pre-copyedited version of a contribution published in Advances in Human Factors in Cybersecurity. AHFE 2017, Nicholson D. (eds) published by Springer International Publishing. The definitive authenticated version is available online via https://doi.org/10.1007/978-3-319-60585-2_12
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 13 Jun 2017 09:41
Last Modified: 02 Apr 2019 13:56
ISBN: 9783319605845
URI: https://eprints.mdx.ac.uk/id/eprint/21975

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