Keyphrases
- privacy preservation
- privacy preserving
- personal information
- privacy requirements
- privacy aware
- theorem prover
- security issues
- data privacy
- personal data
- statistical databases
- private information
- privacy protection
- data publishing
- location privacy
- privacy issues
- privacy preserving data mining
- theorem proving
- sensitive information
- differential privacy
- confidential information
- security concerns
- user privacy
- preserving privacy
- privacy enhancing
- real time
- mathematical proofs
- security risks
- linear logic
- privacy policies
- sensitive data
- inference rules
- data quality
- information security
- third party
- relational databases