Proven Secure Tree-based Authenticated Key Agreement for Securing V2V and V2I Communications in VANETs

External Document