Formal modeling and analysis of data protection for GDPR compliance of IoT healthcare systems
Conference paper
Kammueller, F. 2018. Formal modeling and analysis of data protection for GDPR compliance of IoT healthcare systems. IEEE SMC 2018: IEEE International Conference on Systems, Man and Cybernetics. Miyazaki, Japan 08 - 10 Oct 2018 Institute of Electrical and Electronics Engineers (IEEE).
Type | Conference paper |
---|---|
Title | Formal modeling and analysis of data protection for GDPR compliance of IoT healthcare systems |
Authors | Kammueller, F. |
Abstract | In this paper, we investigate the implications of the General Data Privacy Regulation (GDPR) on the design of an IoT healthcare system. From 26th May 2018, the GDPR will become mandatory within the European Union and hence also for any supplier of IT products. Breaches of the regulation will be fined with penalties of 20 Million EUR. This is a strong motivation for system designers to enable the proof of compliance to the GDPR. We propose the use of formal modeling and analysis using interactive theorem proving. Based on previous work on modeling infrastructures and security policies for insider attacks, we demonstrate the use of logical modeling and machine assisted verification to support data protection (privacy) by design. We illustrate this process on the case study of IoT based monitoring of Alzheimer’s patients that we work on in the CHIST-ERA project SUCCESS. |
Conference | IEEE SMC 2018: IEEE International Conference on Systems, Man and Cybernetics |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Publication dates | |
10 Oct 2018 | |
Publication process dates | |
Deposited | 03 Oct 2018 |
Accepted | 16 Jun 2018 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | © 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
Language | English |
Book title | 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) |
https://repository.mdx.ac.uk/item/87z05
Download files
49
total views33
total downloads1
views this month1
downloads this month