Analytic model on data security in VANETs | IEEE Conference Publication | IEEE Xplore