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.