Formal Analysis of Privacy for Anonymous Location Based Services.
Morten DahlStéphanie DelauneGraham SteelPublished in: TOSCA (2011)
Keyphrases
- formal analysis
- location privacy
- location based services
- user privacy
- location information
- location aware
- mobile devices
- mobile users
- spatial data
- road network
- mobile environments
- formal methods
- privacy protection
- uncertain data
- privacy preserving
- mobile applications
- data mining
- security issues
- peer to peer
- mobile phone
- agent model
- shortest path
- low cost
- rfid systems
- data model
- artificial intelligence