Type Checking Privacy Policies in the π-calculus.
Dimitrios KouzapasAnna PhilippouPublished in: FORTE (2015)
Keyphrases
- type checking
- privacy policies
- database query languages
- fine grained
- relational calculus
- data types
- privacy protection
- personal information
- privacy concerns
- query processor
- private information
- third party
- service providers
- relational algebra
- personal data
- complex objects
- object model
- expressive power
- query language
- website
- abstract data types
- privacy preserving