Location verification using secure distance bounding protocols.
Dave SingeléeBart PreneelPublished in: MASS (2005)
Keyphrases
- cryptographic protocols
- security protocols
- integrity verification
- key distribution
- multi party
- security properties
- authentication protocol
- upper bound
- key agreement protocol
- key exchange
- distance measure
- distance function
- protocol specification
- high security
- key establishment
- standard model
- localization error
- security issues
- model checking
- security services
- public key cryptosystems
- security model
- group communication
- user authentication
- application level
- formal verification
- location information
- distance transform
- sensor networks