Isolating malicious vehicles and avoiding collision between vehicles in VANET | IEEE Conference Publication | IEEE Xplore