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.

Defending Secret-Key Based Authentication Protocols Against the Stolen-Secret Attack.

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

Password-based Authentication and Key Distribution Protocols with Perfect Forward Secrecy

Cryptanalysis on Four Two-Party Authentication Protocols

Password-based User Authentication and Key Distribution Protocols for Client-Server Applications

On the Security of Some Password Authentication Protocols.

Security Analysis of Shim's Authenticated Key Agreement Protocols from Pairings

Security Analysis of Yang et al.'s Practical Password-Based Two-Server Authentication and Key Exchange System

Security on Dynamic Id-Based Authentication Schemes

Security of A Remote User Authentication Scheme Using Smart Cards

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

Three-party Encrypted Key Exchange

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

Finding and Fixing Vulnerabilities in Several Three-Party Password Authenticated Key Exchange Protocols Without Server Public Keys.

Secure Key Agreement Protocols for Three-Party Against Guessing Attacks

A Secure Mutual Authentication Scheme for Session Initiation Protocol Using Elliptic Curve Cryptography

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

Cryptanalysis of A Dynamic Id-Based Remote User Authentication?With Key Agreement Scheme

User Authentication Scheme Based on D-H Key Exchange Protocol

On the Security of a Key Agreement and Key Protection Scheme

Security Analysis of Needham-Schroeder Symmetric Key Authentication Protocol