@inproceedings{106d61c055634a3491d67aae024dbb36,
title = "Formal modelling of (de)pseudonymisation : a case study in health care privacy",
abstract = "In recent years, a number of infrastructures have been proposed for the collection and distribution of medical data for research purposes. The design of such infrastructures is challenging: on the one hand, they should link patient data collected from different hospitals; on the other hand, they can only use anonymised data because of privacy regulations. In addition, they should allow data depseudonymisation in case research results provide information relevant for patients{\textquoteright} health. The privacy analysis of such infrastructures can be seen as a problem of data minimisation. In this work, we introduce coalition graphs, a graphical representation of knowledge of personal information to study data minimisation. We show how this representation allows identification of privacy issues in existing infrastructures. To validate our approach, we use coalition graphs to formally analyse data minimisation in two (de)-pseudonymisation infrastructures proposed by the Parelsnoer initiative.",
author = "M.G. Veeningen and {Weger, de}, B.M.M. and N. Zannone",
year = "2013",
doi = "10.1007/978-3-642-38004-4_10",
language = "English",
isbn = "978-3-642-38003-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "145--160",
editor = "A. J{\o}sang and P. Samarati and M. Petrocchi",
booktitle = "Security and Trust Management (8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012. Revised selected papers)",
address = "Germany",
note = "conference; 8th International Workshop on Security and Trust Management; 2012-09-13; 2012-09-14 ; Conference date: 13-09-2012 Through 14-09-2012",
}