PSEBVC: Provably Secure ECC and Biometric Based Authentication Framework Using Smartphone for Vehicular Cloud Environment | IEEE Journals & Magazine | IEEE Xplore