A dynamic logic for privacy compliance.
Guillaume AucherGuido BoellaLeendert W. N. van der TorrePublished in: Artif. Intell. Law (2011)
Keyphrases
- dynamic logic
- privacy preserving
- modal logic
- reasoning about actions
- agent programming
- personal information
- imperative programs
- propositional dynamic logic
- security issues
- differential privacy
- private information
- privacy concerns
- personal data
- privacy protection
- privacy preserving data mining
- privacy issues
- private data
- sensitive information
- statistical databases
- data privacy
- machine learning
- privacy preservation
- data security
- data protection
- security risks
- multiple input
- general purpose
- privacy enhancing
- artificial intelligence