Efficient and Provably Secure Offline/Online Heterogeneous Signcryption Scheme for VANETs | IEEE Journals & Magazine | IEEE Xplore