Reachability Analysis in Privacy-Preserving Perturbed Graphs.
Xiaoyun HeJaideep VaidyaBasit ShafiqNabil R. AdamXiaodong LinPublished in: Web Intelligence (2010)
Keyphrases
- privacy preserving
- reachability analysis
- model checking
- markov decision processes
- privacy preserving data mining
- timed automata
- privacy preservation
- vertically partitioned data
- multi party
- private information
- privacy sensitive
- state space
- incremental algorithms
- data privacy
- privacy concerns
- scalar product
- sensitive data
- horizontally partitioned data
- record linkage
- preserving privacy
- sensitive information
- privacy requirements
- secure multiparty computation
- horizontally partitioned
- private data
- privacy preserving association rule mining
- privacy protection
- naive bayesian classification
- privacy preserving classification
- privacy issues
- data perturbation
- privacy guarantees
- data publishing
- data mining
- differential privacy
- theorem prover
- original data
- learning algorithm