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

Figure 10

Flow chart under intruder simulation with AVISPA.