An Efficient Probabilistic Authentication Scheme for Converging VANETs | IEEE Conference Publication | IEEE Xplore