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.

Cryptanalysis of PASS II and MiniPass

Cryptanalysis and Improvement of Park Et Al.'s Remote User Authentication Protocol

Cryptanalysis on Four Two-Party Authentication Protocols

Cryptanalysis of two dynamic ID-Based remote user authentication schemes for multi-server architecture

Further Cryptanalysis of A Password Authentication Scheme with Smart Cards

Cryptanalysis and Improvement of Jiang et al.'s Smart Card Based Remote User Authentication Scheme

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

Practical Cryptanalysis of PAES.

Cryptanalysis of a Robust Smart Card Authentication Scheme for Multi-Server Architecture.

Efficient Hamming weight-based side-channel cube attacks on PRESENT

Further Analysis of Password Authentication Schemes Based on Authentication Tests

Breaking a Robust Remote User Authentication Scheme Using Smart Cards.

Cryptanalysis of Song's advanced smart card based password authentication protocol

Differential Power Analysis on Dynamic Password Token Based on SM3 Algorithm, and Countermeasures

Cryptanalysis and Improvement on Yang-Shieh Authentication Schemes.

Extended Password Recovery Attacks Against Apop, Sip, and Digest Authentication

Cryptanalysis of Wu and Xu's authentication scheme for Telecare Medicine Information Systems

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

Cryptanalysis of an improved EPA protocol

A New Analysis Method of Cryptographic Protocols

A Differential Power Analysis Attack on Dynamic Password Token Based on SM3 Algorithm