A Secure Official Vehicle Communication Protocol for VANET | IEEE Conference Publication | IEEE Xplore