Prevention of Sybil attack and priority batch verification in VANETs | IEEE Conference Publication | IEEE Xplore