Security and Communication Networks

Research Article

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

Figure 10

Verification result.