Research Article

Secure Three-Factor Anonymous User Authentication Scheme for Cloud Computing Environment

Figure 11

ProVerif code for adversary capabilities and verifying equivalences.