Formal analysis and systematic construction of two-factor authentication scheme

• Main Authors: YANG, Guomin, WONG, Duncan S., WANG, Huaxiong, DENG, Xiaotie
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2006
• Subjects: Smart Card; Authentication Scheme; Mutual Authentication; Registration Phase; Login Request; Information Security
• Online Access: https://ink.library.smu.edu.sg/sis_research/7437; https://ink.library.smu.edu.sg/context/sis_research/article/8440/viewcontent/Formal_analysis_and_systematic_construction_of_two_factor_authentication_scheme.pdf
• Institution: Singapore Management University

One of the most commonly used two-factor authentication mechanisms is based on smart card and user’s password. Throughout the years, there have been many schemes proposed, but most of them have already been found flawed due to the lack of formal security analysis. On the cryptanalysis of this type o...