Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements [chapter]

Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou
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
more » ... rmal notation, which we have designed specifically for this purpose.
doi:10.1007/978-3-642-20769-3_22 fatcat:weifthh2qrbh7ogtzf5ijfzycu