Design and Logical Analysis of Authenticated Key Exchange Protocol

In response to the low efficiency problem in the existing authenticated key exchange protocol for mobile commerce, the paper proposes an efficient authenticated key exchange protocol based on token, which can authenticate identity of the mobile user in the foremost time, as well as the session key can be exchanged efficiently. To analyze the proposed protocol, the paper proposes an extension of the SVO logic and formally analyzes the objective and security of the protocol by using the extended SVO logic. The analysis results reveal that the protocol completes the ideal authentication goals through the definite key authentication.