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. © 2011 IFIP International Federation for Information Processing.
CITATION STYLE
Agrafiotis, I., Creese, S., Goldsmith, M., & Papanikolaou, N. (2011). Applying formal methods to detect and resolve ambiguities in privacy requirements. In IFIP Advances in Information and Communication Technology (Vol. 352 AICT, pp. 271–282). https://doi.org/10.1007/978-3-642-20769-3_22
Mendeley helps you to discover research relevant for your work.