Ridra: A Rigorous Decentralized Randomized Authentication in VANETs | IEEE Journals & Magazine | IEEE Xplore