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.
Type de document :
Communication dans un congrès
Simone Fischer-Hübner; Penny Duquenoy; Marit Hansen; Ronald Leenes; Ge Zhang. 6th International Summer School (ISS), Aug 2010, Helsingborg, Sweden. Springer, IFIP Advances in Information and Communication Technology, AICT-352, pp.271-282, 2011, Privacy and Identity Management for Life. 〈10.1007/978-3-642-20769-3_22〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01559472
Contributeur : Hal Ifip <>
Soumis le : lundi 10 juillet 2017 - 16:49:40
Dernière modification le : mardi 11 juillet 2017 - 08:41:03

Fichier

978-3-642-20769-3_22_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou. Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements. Simone Fischer-Hübner; Penny Duquenoy; Marit Hansen; Ronald Leenes; Ge Zhang. 6th International Summer School (ISS), Aug 2010, Helsingborg, Sweden. Springer, IFIP Advances in Information and Communication Technology, AICT-352, pp.271-282, 2011, Privacy and Identity Management for Life. 〈10.1007/978-3-642-20769-3_22〉. 〈hal-01559472〉

Partager

Métriques

Consultations de la notice

40

Téléchargements de fichiers

9