Intrusion detection in VANETs through verification of vehicle movement data | IEEE Conference Publication | IEEE Xplore