An Efficient ECC-Based Authentication Scheme against Clock Asynchronous for Spatial Information Network

Figure 7

Simulation code of our protocol using AVISPA. (a) Simulation code in CAS+. (b) Part simulation code in HDLS.

(a)

(b)