Ridra: A Rigorous Decentralized Randomized Authentication in VANETs. - Cong Sun 001; Jiao Liu; Yinjuan Jie; Yuwan Ma; Jianfeng Ma 001 (IEEE Access, 2018)