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

<div>ProVerif code for adversary capabilities and verifying equivalence verification.</div>

Wireless Communications and Mobile Computing

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