Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms.
Anupam DattaJeremiah BlockiNicolas ChristinHenry DeYoungDeepak GargLimin JiaDilsun Kirli KaynarArunesh SinhaPublished in: ICISS (2011)
Keyphrases
- formal semantics
- privacy preservation
- protection mechanisms
- er model
- modelling language
- privacy preserving
- formal language
- logical language
- modeling language
- privacy issues
- first order logic
- speech acts
- operational semantics
- logical reasoning
- ontology languages
- security mechanisms
- private information
- privacy protection
- personal information
- owl dl ontology
- database
- data integration
- intrusion detection
- access control
- knowledge base
- machine learning
- databases