ANEL: A novel efficient and lightweight authentication scheme for vehicular ad hoc networks. - Zakarya Benyamina; Khelifa Benahmed; Fateh Bounaama (Comput. Networks, 2019)