Prover anonymous and deniable distance-bounding authentication.
Sébastien GambsCristina OneteJean-Marc RobertPublished in: AsiaCCS (2014)
Keyphrases
- authentication protocol
- smart card
- security analysis
- public key
- lightweight
- user authentication
- theorem proving
- distance function
- security protocols
- rfid tags
- upper bound
- distance measure
- secret key
- hash functions
- theorem prover
- euclidean distance
- data points
- low cost
- image authentication
- biometric authentication
- trusted platform module