Login / Signup
Distance-Bounding Protocols: Verification without Time and Location.
Sjouke Mauw
Zach Smith
Jorge Toro-Pozo
Rolando Trujillo-Rasua
Published in:
IEEE Symposium on Security and Privacy (2018)
Keyphrases
</>
cryptographic protocols
distance function
location information
model checking
upper bound
distance measure
localization error
real time
genetic algorithm
euclidean distance
face verification
protocol specification
location based services