SEPCVN: Secure and Efficient Protocol for Cloud Vehicular Networking | IEEE Journals & Magazine | IEEE Xplore