Software Defined Networking With Pseudonym Systems for Secure Vehicular Clouds | IEEE Journals & Magazine | IEEE Xplore