of cryptographic T
Stefan Brands D
Distance-bounding protocols W
the theory A
Advances in C
Detecting and correcting malicious data in VANETs