Research Article

Improved ECC-Based Three-Factor Multiserver Authentication Scheme

Figure 4

The terms definition in the ProVerif tool.