Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation

Abstract : In this paper we focus on formalising privacy requirements for the Oxford Radcliffe Biobank (ORB) case study that has emerged within the EnCoRe project. We express the requirements using a logic designed for reasoning about the dynamics of privacy and specifically for capturing the lifecycle of consent and revocation (C&R) controls that a user may invoke. We demonstrate how to tackle ambiguities uncovered in the formalisation and to bridge the gap between user requirements for personal data privacy and system level policy languages effectively.
Type de document :
Communication dans un congrès
Jan Camenisch; Bruno Crispo; Simone Fischer-Hübner; Ronald Leenes; Giovanni Russello. 7th PrimeLife International Summer School (PRIMELIFE), Sep 2011, Trento, Italy. Springer, IFIP Advances in Information and Communication Technology, AICT-375, pp.232-244, 2012, Privacy and Identity Management for Life. 〈10.1007/978-3-642-31668-5_18〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01517594
Contributeur : Hal Ifip <>
Soumis le : mercredi 3 mai 2017 - 14:27:59
Dernière modification le : mercredi 3 mai 2017 - 14:53:41
Document(s) archivé(s) le : vendredi 4 août 2017 - 13:32:49

Fichier

978-3-642-31668-5_18_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith. Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation. Jan Camenisch; Bruno Crispo; Simone Fischer-Hübner; Ronald Leenes; Giovanni Russello. 7th PrimeLife International Summer School (PRIMELIFE), Sep 2011, Trento, Italy. Springer, IFIP Advances in Information and Communication Technology, AICT-375, pp.232-244, 2012, Privacy and Identity Management for Life. 〈10.1007/978-3-642-31668-5_18〉. 〈hal-01517594〉

Partager

Métriques

Consultations de la notice

25

Téléchargements de fichiers

11