Seol an Taifead seo mar Ríomhphost: Efficient identity-based authenticated key agreement protocol with provable security for vehicular ad hoc networks