Provably Secure Authentication Scheme for Fog Computing-Enabled Intelligent Social Internet of Vehicles | IEEE Journals & Magazine | IEEE Xplore