Distance-bounding Identification

Ahmad Ahmadi, Reihaneh Safavi-Naini
2017 Proceedings of the 3rd International Conference on Information Systems Security and Privacy  
Distance bounding (DB) protocols allow a prover to convince a verifier that they are within a distance bound. We propose a new approach to formalizing the security of DB protocols that we call distance-bounding identification (DBID), and is inspired by the security definition of cryptographic identification protocols. Our model provides a natural way of modeling the strongest man-in-the-middle attack, making security of DB protocols in line with identification protocols. We compare our model
more » ... h other existing models, and give a construction that is secure in the proposed model. 202
doi:10.5220/0006211102020212 dblp:conf/icissp/AhmadiS17 fatcat:ue7typcy4rdpno4tnwtn5i2lba