Wireless Communications and Mobile Computing

Research Article

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

Figure 10

ProVerif code for the entire registration agency process.