Formal Analysis of Privacy for Vehicular Mix-Zones.
Morten DahlStéphanie DelauneGraham SteelPublished in: ESORICS (2010)
Keyphrases
- formal analysis
- privacy preserving
- formal methods
- personal information
- statistical databases
- agent model
- privacy preserving data mining
- traffic flow
- privacy concerns
- security issues
- differential privacy
- sensitive information
- black box
- personal data
- propagation model
- ban logic
- urban areas
- machine learning
- social networks