A New Password- and Position-Based Authenticated Key Exchange

Figure 3

Nonprime verifier’s algorithm for generating sent messages in phase 1.