A Practical and Provably Secure Authentication and Key Agreement Scheme for UAV-Assisted VANETs for Emergency Rescue | IEEE Journals & Magazine | IEEE Xplore