Formal analysis and automated validation of privacy-preserving AICE protocol in mobile edge computing.
Jiaqi YinHuibiao ZhuYuan FeiPublished in: Mob. Networks Appl. (2021)
Keyphrases
- formal analysis
- privacy preserving
- vertically partitioned data
- privacy preserving data mining
- ban logic
- privacy preservation
- privacy sensitive
- multi party
- scalar product
- data privacy
- secure multiparty computation
- homomorphic encryption
- privacy concerns
- horizontally partitioned data
- privacy protection
- formal methods
- sensitive information
- private data
- mobile devices
- partitioned data
- preserving privacy
- privacy issues
- private information
- privacy preserving association rule mining
- agent model
- artificial intelligence
- privacy requirements
- differential privacy