Human centric security and privacy for the IoT using formal techniques

Kammueller, Florian ORCID: (2018) Human centric security and privacy for the IoT using formal techniques. Advances in Human Factors in Cybersecurity. In: 3rd International Conference on Human Factors in Cybersecurity, 17-21 Jul 2017, Los Angeles, CA, United States. ISBN 9783319605845. ISSN 2194-5357 [Conference or Workshop Item] (doi:10.1007/978-3-319-60585-2_12)

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


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
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 13 Jun 2017 09:41
Last Modified: 04 Feb 2021 04:10

Actions (login required)

View Item View 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