文献类型：会议论文

英文题名：Efficient identity authentication protocol and its formal analysis

作者：Chen, Li[1,2];Zhang, Guixiang[1];Li, Xiangdong[2]

第一作者：Chen, Li;陈莉

通讯作者：Chen, L[1]

机构：[1]Henan Univ Finance & Econ, Ctr Comp, Zhengzhou 450002, Henan, Peoples R China;[2]Informat Engn Univ, Dept Network Engn, Zhengzhou 450002, Peoples R China

第一机构：河南财经政法大学

通讯机构：[1]corresponding author), Henan Univ Finance & Econ, Ctr Comp, Zhengzhou 450002, Henan, Peoples R China.|[10484]河南财经政法大学;

会议论文集：International Conference on Computational Intelligence and Security

会议日期：DEC 15-19, 2007

会议地点：Harbin, PEOPLES R CHINA

语种：英文

外文关键词：Artificial intelligence - Authentication - Computation theory - Computer circuits - Mobile telecommunication systems

摘要：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.