Privacy and Identity Management for Life 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6 / PrimeLife International Summer School Trento, Italy, September 5-9, 2011
Conference papers
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.
https://hal.inria.fr/hal-01517594
Contributor : Hal Ifip <>
Submitted on : Wednesday, May 3, 2017 - 2:27:59 PM Last modification on : Wednesday, May 3, 2017 - 2:53:41 PM Long-term archiving on: : Friday, August 4, 2017 - 1:32:49 PM
Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith. Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation. 7th PrimeLife International Summer School (PRIMELIFE), Sep 2011, Trento, Italy. pp.232-244, ⟨10.1007/978-3-642-31668-5_18⟩. ⟨hal-01517594⟩