An Efficient Authentication Scheme Based on Semi-Trusted Authority in VANETs | IEEE Journals & Magazine | IEEE Xplore