Figure 1:
Authenticated key exchange phase in Chen et al.'s protocol.