Secure Location Verification Using Radio Broadcast.

Adnan Vora Mikhail Nesterenko

Published in: OPODIS (2004)

Keyphrases

integrity verification
cryptographic protocols
high security
signal strength
security requirements
security analysis
model checking
wireless communication
security issues
formal methods
authentication scheme
location information
multi party
formal verification
asynchronous circuits
wireless broadcast