Proven Secure Tree-Based Authenticated Key Agreement for Securing V2V and V2I Communications in VANETs | IEEE Journals & Magazine | IEEE Xplore