Fig 1.
User authentication process in ubiquitous networks.
Table 1.
Notations.
Fig 2.
The login and authentication phase of Chaudhry et al.’scheme.
Fig 3.
The registration phase of the proposed scheme.
Fig 4.
The login and authentication phase of the proposed scheme.
Fig 5.
The password change phase of the proposed scheme.
Fig 6.
The revocation phase of the proposed scheme.
Fig 7.
Structure of ProVerif.
Fig 8.
ProVerif code for definitions.
Fig 9.
ProVerif code for entire MN process.
Fig 10.
ProVerif code for entire FA process.
Fig 11.
ProVerif code for entire HA process.
Fig 12.
ProVerif code for adversary capabilities and verifying equivalences verification.
Fig 13.
ProVerif simulation result of the proposed scheme.
Table 2.
Comparative summary: Security requirements.
Table 3.
Comparative summary: Computational cost.
Table 4.
Comparative summary: Communication cost.