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.

Password Authenticated Key Agreement with Smart Cards for Remote Systems

Anonymity Enhancement on Robust and Efficient Password-Authenticated Key Agreement Using Smart Cards

A Secure Remote User Mutual Authentication Scheme Using Smart Cards

An Enhanced Authentication Scheme Based Remote User Password Using Smart Card

An Enhanced Smart Card Based Remote User Password Authentication Scheme

A Security Enhanced Remote Password Authentication Scheme Using Smart Card

A Novel User Authentication Scheme Using Smart Cards.

Further improvement of Juang et al.'s password-authenticated key agreement scheme using smart cards

A Password-Authenticated Key Agreement Scheme with Perfect Forward Secrecy

A New Authenticated Key Agreement Scheme Based on Smart Cards Providing User Anonymity with Formal Proof.

An Improved Remote User Authentication Scheme with Key Agreement

Enhanced Smart Card Based Remote User Authentication Scheme

A Flexible and Secure Remote Systems Authentication Scheme Using Smart Cards

Secure Remote User Mutual Authentication Scheme with Key Agreement for Cloud Environment

Dynamic Password Authentication Scheme Using Smart Cards

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

A Novel and Efficient Bilateral Remote User Authentication Scheme Using Smart Cards

An Enhanced Remote Mutual Authentication Scheme Using Smart Cards

Provably secure password authentication and key exchange protocol using smart card

Secure Password-based Remote User Authentication Scheme Against Smart Card Security Breach

Cryptanalysis of an Exquisite Mutual Authentication Scheme with Key Agreement Using Smart Card.