A probabilistic model to corroborate three attacks in vehicular ad hoc networks | IEEE Conference Publication | IEEE Xplore