Security and Communication Networks

Research Article

A Provably Secure Authentication and Key Exchange Protocol in Vehicular Ad Hoc Networks

Figure 3

Registration phase.