Type Checking Purpose-Based Privacy Policies in the π-Calculus.
Eleni KokkinoftaAnna PhilippouPublished in: WS-FM (2015)
Keyphrases
- type checking
- privacy policies
- database query languages
- relational calculus
- data types
- query processor
- abstract data types
- fine grained
- privacy protection
- personal information
- third party
- service providers
- website
- object model
- privacy concerns
- programming language
- data model
- relational databases
- private information
- preprocessing