A Secure Official Vehicle Communication Protocol for VANET. - Xia-Yun Guo; Chin-Ling Chen; Chang-Qing Gong; Fang-Yie Leu (IMIS, 2016)