Verification and Inference of Positions in Vehicular Networks through Anonymous Beaconing