Human centric security and privacy for the IoT using formal techniques

Kammueller, Florian ORCID logoORCID: (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: 29 Nov 2022 20:18

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.