Wireless Communications and Mobile Computing

Research Article

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

Figure 8

ProVerif code for the entire user process.