SPATA: Strong Pseudonym-Based AuthenTicAtion in Intelligent Transport System | IEEE Journals & Magazine | IEEE Xplore