Traffic information verification techniques in VANET: A review | IEEE Conference Publication | IEEE Xplore