A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol.
Xavier BultelSébastien GambsDavid GéraultPascal LafourcadeCristina OneteJean-Marc RobertPublished in: WISEC (2016)
Keyphrases
- money laundering
- distance measure
- lightweight
- theorem proving
- anonymous communication
- social network analysis
- theorem prover
- fraud detection
- cryptographic protocols
- distance function
- euclidean distance
- tcp ip
- digital signature scheme
- network analysis
- law enforcement
- automated theorem proving
- terrorist activities
- upper bound