A system for secure verification of location claims.

Michelle Graham

Published in: ACM SIGMOBILE Mob. Comput. Commun. Rev. (2008)

Keyphrases

cryptographic protocols
integrity verification
model checking
lightweight
group communication
asynchronous circuits
key exchange
data sets
neural network
location information
formal analysis
security analysis
security protocols
authentication scheme
high security