Formal Analysis of UMTS Privacy
Myrto ArapinisLoretta Ilaria ManciniEike RitterMark RyanPublished in: CoRR (2011)
Keyphrases
- formal analysis
- privacy preserving
- formal methods
- security issues
- ban logic
- differential privacy
- heterogeneous networks
- sensitive information
- privacy preserving data mining
- private information
- personal information
- personal data
- agent model
- privacy protection
- video conferencing
- privacy concerns
- machine learning
- statistical databases
- base station
- mobile users
- data privacy
- source code
- relational databases