Securing Vehicular Ad-hoc Networks Against Malicious Drivers: A Probabilistic Approach | IEEE Conference Publication | IEEE Xplore