Privacy by typing in the π-calculus.
Dimitrios KouzapasAnna PhilippouPublished in: Log. Methods Comput. Sci. (2017)
Keyphrases
- privacy preserving
- personal information
- private information
- statistical databases
- security issues
- privacy preserving data mining
- private data
- privacy issues
- database views
- computer algebra
- privacy aware
- privacy preservation
- privacy concerns
- data privacy
- data protection
- rfid systems
- security risks
- databases
- formal language
- location privacy
- privacy protection
- legal issues
- security concerns
- sensitive information
- security and privacy issues