A Provably Secure and Lightweight Access Control Protocol for EI-Based Vehicle to Grid Environment. - Salman Shamshad; Khalid Mahmood 002; Usman Shamshad; Ibrar Hussain 001; Shafiq Hussain; Ashok Kumar Das (IEEE Internet Things J., 2023)