Formal Analysis of a Privacy-Preserving Billing Protocol.
Alessandro ArmandoRoberto CarboneAlessio MerloPublished in: SmartGridSec (2012)
Keyphrases
- formal analysis
- privacy preserving
- vertically partitioned data
- ban logic
- privacy preserving data mining
- scalar product
- privacy preservation
- secure multiparty computation
- data privacy
- homomorphic encryption
- multi party
- privacy concerns
- agent model
- private information
- privacy issues
- sensitive information
- privacy protection
- privacy sensitive
- horizontally partitioned data
- partitioned data
- sensitive data
- preserving privacy
- user privacy
- data perturbation
- privacy guarantees
- private data
- data model
- horizontally partitioned
- expert systems
- decision trees
- databases