Towards a Pervasive Formal Privacy Language.
Ali DehghantanhaNur Izura UdzirRamlan MahmodPublished in: AINA Workshops (2010)
Keyphrases
- formal language
- highly expressive
- visual languages
- mathematical theory
- operational semantics
- programming language
- context aware
- formal languages
- formal descriptions
- specification language
- language processing
- formal specification
- statistical databases
- personal information
- first order logic
- natural language
- privacy enhancing
- precisely defined
- location privacy
- data mining
- security risks
- model theoretic
- security issues
- private information
- information loss
- privacy preserving
- relational databases
- database systems