A Lightweight Authenticated Key Agreement Protocol Using Fog Nodes in Social Internet of Vehicles

Figure 7

Queries and events in the ProVerif tool.