Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements - Privacy and Identity Management for Life Access content directly
Conference Papers Year : 2011

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements

Ioannis Agrafiotis
  • Function : Author
  • PersonId : 1012347
Sadie Creese
  • Function : Author
  • PersonId : 1012329
Michael Goldsmith
  • Function : Author
  • PersonId : 1012330
Nick Papanikolaou
  • Function : Author
  • PersonId : 1012348

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.
Fichier principal
Vignette du fichier
978-3-642-20769-3_22_Chapter.pdf (187.89 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01559472 , version 1 (10-07-2017)

Licence

Attribution

Identifiers

Cite

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⟩
247 View
61 Download

Altmetric

Share

Gmail Facebook X LinkedIn More