The experimental results of our protocol using OFMC
The OFMC back-end in AVISPA is used to carry out security verification experiments in our scheme for the login and authentication phase, Case1 in the password and biometric renewal phase, and Case2 in the password and biometric renewal phase, respectively.
Here's the experimental result for the login and authentication phase as a show.
This is the experiment corresponding to Figure 4 in the paper "A Lightweight and Secure Three-Factor Authentication Protocol With Adaptive Privacy Preserving Property for Wireless Sensor Networks". The following is a brief description of the experiment process.