Revani: Revising and Verifying Normative Specifications for Privacy.
Özgür KafaliNirav AjmeriMunindar P. SinghPublished in: IEEE Intell. Syst. (2016)
Keyphrases
- personal information
- privacy preserving
- formal specification
- private information
- model checking
- differential privacy
- privacy issues
- formal specification language
- belief revision
- high level
- private data
- sensitive information
- privacy protection
- privacy concerns
- specification language
- privacy preservation
- multi agent systems
- privacy aware
- data sets
- privacy preserving data mining
- security issues
- identity management
- location privacy
- privacy requirements
- privacy enhancing