ProVer: A Secure System for the Provision of Verified Location Information.
Michelle GrahamDavid GrayPublished in: MobiCASE (2009)
Keyphrases
- location information
- location based services
- location aware
- sensor data
- theorem proving
- location tracking
- location privacy
- key management
- theorem prover
- security issues
- lightweight
- databases
- context aware services
- security requirements
- security analysis
- mobile terminals
- position information
- image sequences
- machine learning