Efficient conditional privacy-preserving and authentication scheme for secure service provision in VANET | TUP Journals & Magazine | IEEE Xplore