An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy.
Yasuyuki TsukadaHideki SakuradaKen ManoYoshifumi ManabePublished in: TARK (2013)
Keyphrases
- location privacy
- privacy protection
- individual privacy
- data publishing
- data anonymization
- privacy preserving
- personal information
- trusted third party
- privacy issues
- location based services
- modal operators
- data protection
- security properties
- privacy violations
- private information
- payment scheme
- anonymized data
- information loss
- sensitive information
- personal data
- privacy preservation
- privacy policies
- privacy concerns
- qualitative reasoning
- spatial reasoning
- social network data
- privacy aware
- mobile users
- electronic payment
- data sharing
- formal theory
- linked data
- social networks
- identity management
- rfid systems
- belief change
- security issues
- private data
- privacy preserving data mining
- sensitive data