A New Password- and Position-Based Authenticated Key Exchange

Figure 2

Prime verifier’s algorithm for generating the sent message in phase 1.