Human centric security and privacy for the IoT using formal techniques
Kammueller, Florian 
ORCID: https://orcid.org/0000-0001-5839-5488
(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 |
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: | 29 Nov 2022 20:18 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/21975 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)