Mitigating DoS Attacks Against Pseudonymous Authentication Through Puzzle-Based Co-Authentication in 5G-VANET | IEEE Journals & Magazine | IEEE Xplore