Efficient Identity Authentication Protocol and Its Formal Analysis

The paper proposes an efficient identity authentication protocol for mobile commerce based on token. The proposed protocol needs fewer messages to authenticate identities of mobile users called as important entities in the foremost time, as well as session keys used for transaction are negotiated efficiently. To analyze the proposed protocol, the paper also proposes an extension of BAN logic. Using the extended BAN logic, the objective and security of the protocol are proved by the formal analytical process.