Human centric security and privacy for the IoT using formal techniques
Conference paper
Kammueller, F. 2018. Human centric security and privacy for the IoT using formal techniques. 3rd International Conference on Human Factors in Cybersecurity. Los Angeles, CA, United States 17 - 21 Jul 2017 Springer. pp. 106-116 https://doi.org/10.1007/978-3-319-60585-2_12
Type | Conference paper |
---|---|
Title | Human centric security and privacy for the IoT using formal techniques |
Authors | Kammueller, F. |
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. |
Conference | 3rd International Conference on Human Factors in Cybersecurity |
Page range | 106-116 |
ISSN | 2194-5357 |
ISBN | |
Hardcover | 9783319605845 |
Publisher | Springer |
Publication dates | |
Online | 16 Jun 2017 |
01 Jan 2018 | |
Publication process dates | |
Deposited | 13 Jun 2017 |
Accepted | 01 Nov 2016 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | 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 |
Additional information | First Online: 16 June 2017. |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-319-60585-2_12 |
Language | English |
Book title | Advances in Human Factors in Cybersecurity |
https://repository.mdx.ac.uk/item/87025
Download files
68
total views22
total downloads0
views this month1
downloads this month