Efficient Identity Authentication Protocol and Its Formal Analysis
Li Chen, Guixiang Zhang, Xiangdong D. Li · 2007 International Conference on Computational Intelligence and Security Workshops (CISW 2007) · 2007
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.