Abstract:Understanding security failures of cryptographic protocols is the key to both patching existing protocols and designing future schemes. In this paper, we analyze two recent proposals in the area of password-based remote user authentication using smart cards. First, we point out that the scheme of Chen et al. cannot achieve all the claimed security goals and report its following flaws: (i) it is vulnerable to offline password guessing attack under their nontamper resistance assumption of the smart cards; and (ii) it fails to provide forward secrecy. Then, we analyze an efficient dynamic ID-based scheme without public-key operations introduced byWen and Li in 2012. This proposal attempts to overcome many of the well-known security and efficiency shortcomings of previous schemes and supports more functionalities than its counterparts. Nevertheless, Wen-Li's protocol is vulnerable to offline password guessing attack and denial of service attack, and fails to provide forward secrecy and to preserve user anonymity. Furthermore, with the security analysis of these two schemes and our previous protocol design experience, we put forward three general principles that are vital for designing secure smart-card-based password authentication schemes: (i) public-key techniques are indispensable to resist against offline password guessing attack and to preserve user anonymity under the nontamper resistance assumption of the smart card; (ii) there is an unavoidable trade-off when fulfilling the goals of local password update and resistance to smart card loss attack; and (iii) at least two exponentiation (respectively elliptic curve point multiplication) operations conducted on the server side are necessary for achieving forward secrecy. The cryptanalysis results discourage any practical use of the two investigated schemes and are important for security engineers to make their choices correctly, whereas the proposed three principles are valuable to protocol designers for advancing more robust schemes. Copyright (C) 2012 John Wiley & Sons, Ltd.

Some Potential Defects in EMV96 and Improvement Advice

Financial IC Card Authentication System and Its Security Analysis

Chinese Financial IC Card Secure Electronic Transaction Protocol and Model

Secure remote mobile payment architecture and application

Model of Chinese Debit Card Secure Electronic Transaction Payment

SafePay: Protecting Against Credit Card Forgery with Existing Magnetic Card Readers

Preprocessing scheme for improving Schnorr signature in JavaCard

A Security Scheme Based on Smart Card

Analysis of Security Performance about the Implementations of NFC Mobile Payment

Security Flaws In Two Improved Remote User Authentication Schemes Using Smart Cards

Design and Implementation of an Electromagnetic Analysis System for Smart Cards.

Security of Electronic Payment Systems: A Comprehensive Survey

Building General-Purpose Security Services on EMV Payment Cards.

Designing a New Mutual Authentication Scheme Based on Nonce and Smart Cards

Efficient Anti-Fraud Micro-Payment Scheme

A Security Multi-Bank E-Cash Protocol Based On Smart Card

An Embedded System Design for Practical Security Analysis of Contact Smartcards

Cryptanalysis and improvement on an IC-card-based remote login mechanism

An Enhanced Remote Mutual Authentication Scheme Using Smart Cards

Code Mechanical Solidification and Verification in MEMS Security Devices

Mobile Payment Framework Based on 3G Network