Skip to Main content Skip to Navigation
Conference papers

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements

Abstract : In this paper, we demonstrate how formal methods can be used to unambiguously express privacy requirements. We focus on requirements for consent and revocation controls in a real world case study that has emerged within the EnCoRe project. We analyse the ambiguities and issues that arise when requirements expressed in natural language are transformed into a formal notation, and propose solutions to address these issues. These ambiguities were brought to our attention only through the use of a formal notation, which we have designed specifically for this purpose.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Monday, July 10, 2017 - 4:49:40 PM
Last modification on : Tuesday, September 28, 2021 - 2:48:04 PM
Long-term archiving on: : Wednesday, January 24, 2018 - 6:13:54 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou. Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements. 6th International Summer School (ISS), Aug 2010, Helsingborg, Sweden. pp.271-282, ⟨10.1007/978-3-642-20769-3_22⟩. ⟨hal-01559472⟩



Record views


Files downloads