Provable Secure and Lightweight Vehicle Message Broadcasting Authentication Protocol with Privacy Protection for VANETs. - Xie, Qi; Zheng, Panpan; Ding, Zixuan; Tan, Xiao; Hu, Bin (Security & Communication Networks, 2022)