Formal Modeling and Analysis of Data Protection for GDPR Compliance of IoT Healthcare Systems

Florian Kammueller. Formal Modeling and Analysis of Data Protection for GDPR Compliance of IoT Healthcare Systems. In IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018, Miyazaki, Japan, October 7-10, 2018. pages 3319-3324, IEEE, 2018. [doi]

@inproceedings{Kammueller18,
  title = {Formal Modeling and Analysis of Data Protection for GDPR Compliance of IoT Healthcare Systems},
  author = {Florian Kammueller},
  year = {2018},
  doi = {10.1109/SMC.2018.00562},
  url = {https://doi.org/10.1109/SMC.2018.00562},
  researchr = {https://researchr.org/publication/Kammueller18},
  cites = {0},
  citedby = {0},
  pages = {3319-3324},
  booktitle = {IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018, Miyazaki, Japan, October 7-10, 2018},
  publisher = {IEEE},
  isbn = {978-1-5386-6650-0},
}