Security and Communication Networks

Research Article

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

Figure 6

Predefinition code.