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.

Security Analysis on S-3PAKE Protocol

Cryptanalysis of a Simple Three-party Key Exchange Protocol

Security Analysis and Enhancement for Three-Party Password-Based Authenticated Key Exchange Protocol.

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

A Security Patch for a Three-Party Key Exchange Protocol

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

Simple three-party password-based key exchange protocol with provable security

Provably Secure Three-Party Password-Based Authenticated Key Exchange Protocol

Cryptanalysis of a Three-Party Password-Based Authenticated Key Exchange Protocol Using Weil Pairing.

Weakness Analysis and Improvement of a Gateway-Oriented Password-Based Authenticated Key Exchange Protocol

Provably Secure Three-Party Password Authenticated Key Exchange Protocol in the Standard Model.

Three-party Encrypted Key Exchange

Cryptanalysis of Some Client-to-Client Password-Authenticated Key Exchange Protocols.

Efficient Three-Party Password-Based Authenticated Key Exchange Protocol

Post-quantum Verifier-Based Three-Party Password Authenticated Key Exchange Protocol

Anonymity preserving and round effective three-party authentication key exchange protocol based on chaotic maps

Security Analysis on an Improvement of RSA-Based Password Authenticated Key Exchange.

Analysis and Improvement of a Password-Based Authenticated Key Exchange Protocol

Secure verifier-based three-party password-authenticated key exchange

Weaknesses of a Password-Authenticated Key Exchange Protocol between Clients with Different Passwords

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