Table 1.
Notations of Lu et al.’s protocol.
Fig 1.
Registration phase of Lu et al.’s protocol.
Fig 2.
Login and authentication phases of Lu et al.’s protocol.
Table 2.
Notations of the proposed protocol.
Fig 3.
User registration phase.
Fig 4.
Mutual authentication with key-agreement phase.
Fig 5.
Role specification for user Ui.
Fig 6.
Role specification for application server AS.
Fig 7.
Role specification for registration server RS.
Fig 8.
Role specification for the goal and environment.
Fig 9.
Role specification in HLPSL for the session.
Fig 10.
The result of the analysis using OFMC and CL-AtSe backends.
Table 3.
Comparison of security properties.
Table 4.
Comparison of computational cost.
Table 5.
Comparison of communication overhead.