Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements.
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 requir...
| Egile Nagusiak: | , , , |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Journal article |
| Hizkuntza: | English |
| Argitaratua: |
Springer
2010
|