Secure Verification of Location Claims with Simultaneous Distance Modification.

Vitaly Shmatikov Ming-Hsiu Wang

Published in: ASIAN (2007)

Keyphrases

integrity verification
cryptographic protocols
distance measure
euclidean distance
location based services
location information
localization error
user authentication
multi party
security issues
distance transform
model checking
web services
formal verification
distance metric
weighted distance
mobile devices