A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements
[chapter]
2011
IFIP Advances in Information and Communication Technology
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
doi:10.1007/978-3-642-20769-3_22
fatcat:weifthh2qrbh7ogtzf5ijfzycu