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

Figure 9

The results of OFMC and CL-Atse using AVISPA. (a) OFMC output. (b) CL-Atse output.

(a)

(b)