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

https://hal.inria.fr/hal-01559472
Contributor : Hal Ifip <>
Submitted on : Monday, July 10, 2017 - 4:49:40 PM
Last modification on : Tuesday, July 11, 2017 - 8:41:03 AM
Long-term archiving on: : Wednesday, January 24, 2018 - 6:13:54 PM

File

978-3-642-20769-3_22_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, 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⟩

Share

Metrics

Record views

342

Files downloads

142