Distance-bounding proof of knowledge protocols to avoid terrorist fraud attacks