Secure Location Verification Using Radio Broadcast.
Adnan VoraMikhail NesterenkoPublished in: IEEE Trans. Dependable Secur. Comput. (2006)
Keyphrases
- cryptographic protocols
- integrity verification
- high security
- verification method
- model checking
- signal strength
- wireless communication
- formal verification
- mobile objects
- location information
- face verification
- key management
- standard model
- authentication protocol
- data dissemination
- security requirements
- asynchronous circuits
- physical layer
- security issues
- received signal strength
- mobile robot