A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Distance-Bounding Protocols: Verification Without Time and Location
2018
2018 IEEE Symposium on Security and Privacy (SP)
Distance-bounding protocols are cryptographic protocols that securely establish an upper bound on the physical distance between the participants. Existing symbolic verification frameworks for distance-bounding protocols consider timestamps and the location of agents. In this work we introduce a causality-based characterization of secure distancebounding that discards the notions of time and location. This allows us to verify the correctness of distance-bounding protocols with standard protocol
doi:10.1109/sp.2018.00001
dblp:conf/sp/MauwSTT18
fatcat:yb27nrpmpjgejosg47yedmp46a