Secure verification of location claims.

Naveen Sastry Umesh Shankar David A. Wagner

Published in: Workshop on Wireless Security (2003)

Keyphrases

cryptographic protocols
integrity verification
model checking
high security
lightweight
formal verification
face verification
security analysis
asynchronous circuits
genetic algorithm
security issues
standard model