Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

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

File

978-3-642-31668-5_18_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

88

Files downloads

158