TOC 
Network Working GroupY. Sheffer
Internet-DraftCheck Point
Intended status: Standards TrackG. Zorn
Expires: June 3, 2010Network Zen
 H. Tschofenig
 Nokia Siemens Networks
 S. Fluhrer
 Cisco
 November 30, 2009


An EAP Authentication Method Based on the EKE Protocol
draft-sheffer-emu-eap-eke-03

Abstract

The Extensible Authentication Protocol (EAP) describes a framework that allows the use of multiple authentication mechanisms. This document defines an authentication mechanism for EAP called EAP-EKE, based on the Encrypted Key Exchange (EKE) protocol. This method provides mutual authentication through the use of a short, easy to remember password. Compared with other common authentication methods, EAP-EKE is not susceptible to dictionary attacks. Neither does it require the availability of public-key certificates.

Status of this Memo

This Internet-Draft is submitted to IETF in full conformance with the provisions of BCP 78 and BCP 79.

Internet-Drafts are working documents of the Internet Engineering Task Force (IETF), its areas, and its working groups. Note that other groups may also distribute working documents as Internet-Drafts.

Internet-Drafts are draft documents valid for a maximum of six months and may be updated, replaced, or obsoleted by other documents at any time. It is inappropriate to use Internet-Drafts as reference material or to cite them other than as “work in progress.”

The list of current Internet-Drafts can be accessed at http://www.ietf.org/ietf/1id-abstracts.txt.

The list of Internet-Draft Shadow Directories can be accessed at http://www.ietf.org/shadow.html.

This Internet-Draft will expire on June 3, 2010.

Copyright Notice

Copyright (c) 2009 IETF Trust and the persons identified as the document authors. All rights reserved.

This document is subject to BCP 78 and the IETF Trust's Legal Provisions Relating to IETF Documents (http://trustee.ietf.org/license-info) in effect on the date of publication of this document. Please review these documents carefully, as they describe your rights and restrictions with respect to this document. Code Components extracted from this document must include Simplified BSD License text as described in Section 4.e of the Trust Legal Provisions and are provided without warranty as described in the BSD License.



Table of Contents

1.  Introduction
2.  Terminology
3.  Protocol
    3.1.  Protocol Overview
    3.2.  Message Flows
4.  Packet Formats
    4.1.  EAP-EKE Header
    4.2.  EAP-EKE Payloads
    4.3.  EAP-EKE-ID
    4.4.  EAP-EKE-Commit
    4.5.  EAP-EKE-Confirm
    4.6.  EAP-EKE-Failure
    4.7.  Protected Fields
    4.8.  Encrypted Fields
    4.9.  Channel Binding Values
5.  Protocol Sequence
    5.1.  EAP-EKE-Commit/Request
    5.2.  EAP-EKE-Commit/Response
    5.3.  EAP-EKE-Confirm/Request
    5.4.  EAP-EKE-Confirm/Response
    5.5.  MSK and EMSK
6.  Cryptographic Details
    6.1.  Generating Keying Material
    6.2.  Diffie-Hellman Groups
    6.3.  Mandatory Algorithms
7.  IANA Considerations
8.  Security Considerations
    8.1.  Cryptographic Analysis
    8.2.  Diffie Hellman Group Considerations
    8.3.  Resistance to Active Attacks
    8.4.  Identity Protection, Anonymity and Pseudonymity
9.  Acknowledgements
10.  References
    10.1.  Normative References
    10.2.  Informative References
Appendix A.  Change Log
    A.1.  -03
    A.2.  -02
    A.3.  -01
    A.4.  -00
§  Authors' Addresses




 TOC 

1.  Introduction

The predominant access method for the Internet today is that of a human using a username and password to authenticate to a computer enforcing access control. Proof of knowledge of the password authenticates the human to the computer.

Typically, these passwords are not stored on a user's computer for security reasons and must be entered each time the human desires network access. Therefore, the passwords must be ones that can be repeatedly entered by a human with a low probability of error. They will likely not possess high entropy and it may be assumed that an adversary with access to a dictionary will have the ability to guess a user's password. It is therefore desirable to have a robust authentication method that is secure even when used with a weak password in the presence of a strong adversary.

EAP-EKE is an EAP method [RFC3748] (Aboba, B., Blunk, L., Vollbrecht, J., Carlson, J., and H. Levkowetz, “Extensible Authentication Protocol (EAP),” June 2004.) that addresses the problem of password-based authenticated key exchange, using a possibly weak password for authentication and to derive an authenticated and cryptographically strong shared secret. This problem was first described by Bellovin and Merritt in [BM92] (Bellovin, S. and M. Merritt, “Encrypted Key Exchange: Password-Based Protocols Secure Against Dictionary Attacks,” May 1992.) and [BM93] (Bellovin, S. and M. Merritt, “Augmented Encrypted Key Exchange: A Password-Based Protocol Secure against Dictionary Attacks and Password File Compromise,” 1993.). Subsequently, a number of other solution approaches have been proposed, for example [JAB96] (Jablon, D., “Strong Password-Only Authenticated Key Exchange,” October 1996.), [LUC97] (Lucks, S., “Open Key Exchange: How to Defeat Dictionary Attacks Without Encrypting Public Keys,” 1997.), [BMP00] (Boyko, V., MacKenzie, P., and S. Patel, “Provably Secure Password Authenticated Key Exchange Using Diffie-Hellman,” 2000.), and others.

This proposal is based on the original Encrypted Key Exchange (EKE) proposal, as described in [BM92] (Bellovin, S. and M. Merritt, “Encrypted Key Exchange: Password-Based Protocols Secure Against Dictionary Attacks,” May 1992.). Some of the variants of the original EKE have been attacked, see e.g. [PA97] (Patel, S., “Number Theoretic Attacks On Secure Password Schemes,” 1997.), and improvements have been proposed. None of these subsequent improvements have been incorporated into the current protocol. However, we have used only the subset of [BM92] (Bellovin, S. and M. Merritt, “Encrypted Key Exchange: Password-Based Protocols Secure Against Dictionary Attacks,” May 1992.) (namely the variant described in Section 3.1 of the paper) which has withstood the test of time and is believed secure as of this writing.



 TOC 

2.  Terminology

This document uses Encr(Ke, ...) to denote encrypted information, and Prot(Ke, Ki, ...) to denote encrypted and integrity protected information.

The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in [RFC2119] (Bradner, S., “Key words for use in RFCs to Indicate Requirement Levels,” March 1997.).



 TOC 

3.  Protocol



 TOC 

3.1.  Protocol Overview

EAP is a two-party protocol spoken between an EAP peer and an EAP server (also known as "authenticator"). An EAP method defines the specific authentication protocol being used by EAP. This memo defines a particular method and therefore defines the messages sent between the EAP server and the EAP peer for the purpose of authentication and key derivation.



 TOC 

3.2.  Message Flows

EAP-EKE defines three message exchanges: an Identity exchange, a Commit exchange and a Confirm exchange. A successful authentication is shown in Figure 1 (A Successful EAP-EKE Exchange).

The peer and server use the EAP-EKE Identity exchange to learn each other's identities and to agree upon a ciphersuite to use in the subsequent exchanges. In the Commit exchange the peer and server exchange information to generate a shared key and also to bind each other to a particular guess of the password. In the Confirm exchange the peer and server prove liveness and knowledge of the password by generating and verifying verification data.




           +--------+                                     +--------+
           |        |                  EAP-EKE-ID/Request |        |
           |  EAP   |<------------------------------------|  EAP   |
           |  peer  |                                     | server |
           |  (P)   | EAP-EKE-ID/Response                 |   (S)  |
           |        |------------------------------------>|        |
           |        |                                     |        |
           |        |              EAP-EKE-Commit/Request |        |
           |        |<------------------------------------|        |
           |        |                                     |        |
           |        | EAP-EKE-Commit/Response             |        |
           |        |------------------------------------>|        |
           |        |                                     |        |
           |        |             EAP-EKE-Confirm/Request |        |
           |        |<------------------------------------|        |
           |        |                                     |        |
           |        | EAP-EKE-Confirm/Response            |        |
           |        |------------------------------------>|        |
           |        |                                     |        |
           |        |          EAP-Success                |        |
           |        |<------------------------------------|        |
           +--------+                                     +--------+


 Figure 1: A Successful EAP-EKE Exchange 

Schematically, the original exchange as described in [BM92] (Bellovin, S. and M. Merritt, “Encrypted Key Exchange: Password-Based Protocols Secure Against Dictionary Attacks,” May 1992.) (and with the roles reversed) is:


Server                              Peer
------                              ----

E(Password, Y_S)) ->

                      <- E(Password, Y_P), E(SharedSecret, Nonce_P)

E(SharedSecret, Nonce_S | Nonce_P) ->

                                        <- E(SharedSecret, Nonce_S)

Where:

The current protocol extends the basic cryptographic protocol, and the regular successful exchange becomes:


   Message                   Server                       Peer
  ---------                 --------                     ------
ID/Request         ID_S, CryptoProposals ->

ID/Response                                 <- ID_P, CryptoSelection

Commit/Request     Encr(Password, Y_S)) ->

Commit/Response        <- Encr(Password, Y_P), Prot(Ke, Ki, Nonce_P)

Confirm/Request    Prot(Ke, Ki, Nonce_S | Nonce_P), Auth_S ->

Confirm/Response                    <- Prot(Ke, Ki, Nonce_S), Auth_P

As shown in the exchange above, the following information elements have been added to the original protocol: identity values for both protocol parties (ID_S, ID_P), negotiation of cryptographic protocols, and signature fields to protect the integrity of the negotiated parameters (Auth_S, Auth_P). In addition the shared secret is not used directly. Note that a few details have been omitted for clarity.



 TOC 

4.  Packet Formats



 TOC 

4.1.  EAP-EKE Header

The EAP-EKE header consists of the standard EAP header (see Section 4 of [RFC3748] (Aboba, B., Blunk, L., Vollbrecht, J., Carlson, J., and H. Levkowetz, “Extensible Authentication Protocol (EAP),” June 2004.)), followed an EAP-EKE exchange type. The header has the following structure:




 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|     Code      |  Identifier   |             Length            |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|     Type      |   EKE-Exch    |              Data            ...
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

 Figure 2: EAP-EKE Header 

The Code, Identifier, Length, and Type fields are all part of the EAP header, and defined in [RFC3748] (Aboba, B., Blunk, L., Vollbrecht, J., Carlson, J., and H. Levkowetz, “Extensible Authentication Protocol (EAP),” June 2004.). The Type field in the EAP header MUST be the value allocated by IANA for EAP-EKE version 1.

The EKE-Exch (EKE Exchange) field identifies the type of EAP-EKE payload encapsulated in the Data field. This document defines the following values for the EKE-Exch field:

Further values of this EKE-Exch field are available via IANA registration.



 TOC 

4.2.  EAP-EKE Payloads

EAP-EKE payloads all contain the EAP-EKE header and encoded information, which differs for the different exchanges.



 TOC 

4.3.  EAP-EKE-ID




  0                   1                   2                   3
  0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
 +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
 | NumProposals  |   Reserved    |           Proposal           ...
 +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
...    Proposal                  |    IDType     |  Identity    ...
 +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+


 Figure 3: EAP-EKE-ID Payload 

The EAP-EKE-ID payload contains the following fields:

NumProposals:

The NumProposals field contains the number of Proposal fields subsequently contained in the payload. In the EAP-EKE-ID/Request the NumProposals field MUST NOT be set to zero (0) and in the EAP-EKE-ID/Response message the NumProposals field MUST be set to one (1). The offered proposals in the Request are listed contiguously in priority order, most preferable first. The selected proposal in the Response MUST be fully identical with one of the offered proposals.

Proposal:

Each proposal consists of four one-octet fields, in this order:

Group Description:

This field's value is taken from the IANA registry for Diffie-Hellman groups defined in Section 7.4 (Diffie-Hellman Group Registry).

Encryption:

This field's value is taken from the IANA registry for encryption algorithms defined in Section 7.1 (Encryption Algorithm Registry).

PRF:

This field's value is taken from the IANA registry for pseudo random functions defined in Section 7.2 (Pseudo Random Function Registry).

MAC:

This field's value is taken from the IANA registry for keyed message digest algorithms defined in Section 7.3 (Keyed Message Digest Registry).

IDType:

Denotes the Identity type. This is taken from the IANA registry defined in Section 7 (IANA Considerations). The server and the peer MAY use different identity types.

The meaning of the Identity field depends on the values of the Code and IDType fields. It is RECOMMENDED that the Identity field be printable.

To allow for "channel binding", The server SHOULD assert its own identity (e.g. its host name).

The length of the Identity field is computed from the Length field in the EAP header.



 TOC 

4.4.  EAP-EKE-Commit

In this exchange both parties send their encrypted ephemeral public key, and the peer also includes a Challenge. In addition, a small amount of protected data can be included, which may be used for channel binding.




 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|         DHComponent                                           ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
~                                                               ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|          Commit_P                                             ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
~                                                               ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|          CBValue*                                             ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
~                                                               ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+


 Figure 4: EAP-EKE-Commit Payload 

DHComponent:

This field contains the password-encrypted Diffie-Hellman public key, see Section 5.1 (EAP-EKE-Commit/Request).

Commit_P:

This field only appears in the response, and contains the encrypted and integrity-protected challenge value sent by the peer. See Section 5.2 (EAP-EKE-Commit/Response).

CBValue:

This structure MAY be included both in the request and in the response, and MAY be repeated multiple times, once per each value transmitted. See Section 4.9 (Channel Binding Values).



 TOC 

4.5.  EAP-EKE-Confirm

In this exchange both parties complete the authentication by generating a shared temporary key, authenticating the entire protocol, and generating key material for the EAP consumer protocol.




 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|          Confirm_?                                            ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
~                                                               ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|          Auth_?                                               ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
~                                                               ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+


 Figure 5: EAP-EKE-Confirm Payload 

Confirm_S/Confirm_P:

This field contains the encrypted and integrity-protected response to the other party's challenge, see Section 5.3 (EAP-EKE-Confirm/Request) and Section 5.4 (EAP-EKE-Confirm/Response).

Auth_S/Auth_P:

This field signs the preceeding messages, including the Identity and the negotiated fields. This prevents various possible attacks, such as algorithm downgrade attacks. See Section 5.3 (EAP-EKE-Confirm/Request) and Section 5.4 (EAP-EKE-Confirm/Response).



 TOC 

4.6.  EAP-EKE-Failure

The EAP-EKE-Failure message format is defined as follows:



 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                         Failure-Code                          |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

 EAP-EKE-Failure Payload 

The following Failure-Code values are defined:

ValueNameMeaning
0x00000000 Reserved  
0x00000001 No Error This code is used for failure acknowledgement, see below.
0x00000002 Protocol Error A failure to parse or understand a protocol message or one of its payloads.
0x00000003 Password Not Found The password for a particular user could not be located, making authentication impossible. For security reasons, implementations MAY choose to eliminate this error code and return "Authentication Failure" also in this case.
0x00000004 Authentication Failure Failure in the cryptographic computation most likely caused by an incorrect password, or an inappropriate identity type.
0x00000005 Authorization Failure While the password being used is correct, the user is not authorized to connect.
0x00000006 No Proposal Chosen The peer is unwilling to select any of the cryptographic proposals offered by the server.

Additional values of this field are available via IANA registration.

When the peer encounters an error situation, it MUST respond with EAP-EKE-Failure. The server MUST send an EAP-Failure message to end the exchange.

When the server encounters an error situation, it MUST respond with EAP-EKE-Failure. The peer MUST send back an EAP-EKE-Failure message containing a "No Error" failure code. Then the server MUST send an EAP-Failure message to end the exchange.



 TOC 

4.7.  Protected Fields

Several fields are encrypted and integrity-protected. They are denoted Prot(...). Their general structure is as follows:




 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|         Initialization Vector (IV) (optional)                 |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                        Encrypted Data                         ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
~                                                               ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
~               |            Random Padding                     |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                  Integrity Check Value (ICV)                  |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

 Figure 6: Protected Field Structure 

The protected field is a concatenation of four octet strings:



 TOC 

4.8.  Encrypted Fields

Two fields are encrypted but not integrity protected. They are denoted Encr(...). Their format is identical to a protected field (Section 4.7 (Protected Fields)), except that the Integrity Check Value is omitted.



 TOC 

4.9.  Channel Binding Values

This protocol allows higher level protocols that are using it to transmit opaque information between the peer and the server. This information is integrity protected but not encrypted, and may be used to ensure that protocol peers are identical at different protocol layers. EAP-EKE is not aware of the transmitted information. The information MUST NOT be used by the consumer protocol until it is verified in the EAP-EKE-Confirm exchange (specifically, it is signed by the Auth_S, Auth_P payloads). Consequently, it MUST NOT be relied upon in case an error occurs at the EAP-EKE level.

Each Channel Binding Value is encoded using a simple TLV structure:




  0                   1                   2                   3
  0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
 +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
 |          CBType               |           Length              |
 +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
 |          Value                                               ...
 +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

 Figure 7: Channel Binding Value 

CBType:

This is the Channel Binding Value's type. This document defines the value 0x0000 as reserved. Other values are left for IANA allocation.

Length:

This field is the total length in octets of the structure, including the CBType and Length fields.

This facility should be used with care, since EAP-EKE does not provide for message fragmentation. It SHOULD NOT be used to transmit data other than that required to positively identify the protocol peers.



 TOC 

5.  Protocol Sequence



 TOC 

5.1.  EAP-EKE-Commit/Request

The server computes

Y_S = g^x mod N,

where 'x' is a randomly chosen number in the range 2 .. N-1. The randomly chosen number is the private key, and the calculated field is the corresponding public key. Each of the peers MUST use a fresh, random value for this field on each run of the protocol.

Note: If Elliptic Curve Diffie-Hellman is used, the corresponding additive group operations are to be understood.

The server transmits the encrypted field (Section 4.8 (Encrypted Fields))

DHComponent_S = Encr(prf+(password, "EAP-EKE Password"), Y_S),

where the literal string is encoded using ASCII with no zero terminator. See Section 6.1 (Generating Keying Material) for the prf+ notation. When using block ciphers, it may be necessary to pad Y_S on the right, to fit the encryption algorithm's block size. In such cases, random padding MUST be used, and this randomness is critical to the security of the protocol. Randomness recommendations can be found in [RFC4086] (Eastlake, D., Schiller, J., and S. Crocker, “Randomness Requirements for Security,” June 2005.). When decrypting this field, the real length of Y_S is determined according to the negotiated Diffie Hellman group.

If the password needs to be stored on the server, it is RECOMMENDED to store the randomized password value, i.e. prf+(password, ...), as a password-equivalent, rather than the cleartext password.

If the password is non-ASCII, it SHOULD be normalized by the sender before the EAP-EKE message is constructed. The normalization method is SASLprep, [RFC4013] (Zeilenga, K., “SASLprep: Stringprep Profile for User Names and Passwords,” February 2005.). Note that the password is not null-terminated.



 TOC 

5.2.  EAP-EKE-Commit/Response

The peer computes

Y_P = g^y mod N

and sends

DHComponent_P = Encr(prf+(password, "EAP-EKE Password"), Y_P)

formatted as an encrypted field (Section 4.8 (Encrypted Fields)).

Both sides calculate

SharedSecret = prf(0+, g^(x*y) mod N)

where the first argument to "prf" is a string of zero octets whose length is the output size of the base hash algorithm, e.g. 20 octets for HMAC-SHA1; the result is of the same length. This extra application of the pseudo-random function is the "extraction step" of [I‑D.krawczyk‑hkdf] (Krawczyk, H. and P. Eronen, “HMAC-based Extract-and-Expand Key Derivation Function (HKDF),” January 2010.). Note that the peer needs to compute the SharedSecret value before sending out its response.

The encryption key is computed:

Ke = prf+(SharedSecret, "EAP-EKE Ke" | ID_S | ID_P)

The integrity protection key is computed:

Ki = prf+(SharedSecret, "EAP-EKE Ki" | ID_S | ID_P)

And the peer generates

Commit_P = Prot(Ke, Ki, Nonce_P),

where Nonce_P is a randomly generated binary string. Nonce_P has length equal to the block size of the negotiated encryption algorithm for block ciphers, or 32 octets if this algorithm is a stream cipher. The peer sends this value as a protected field (Section 4.7 (Protected Fields)), encrypted using Ke and signed using Ki with the negotiated MAC algorithm.



 TOC 

5.3.  EAP-EKE-Confirm/Request

The server sends:

Confirm_S = Prot(Ke, Ki, Nonce_P | Nonce_S),

as a protected field, where Nonce_S is a randomly generated string, similar to Nonce_P.

It computes:

Ka = prf+(SharedSecret, "EAP-EKE Ka" | ID_S | ID_P | Nonce_P | Nonce_S)

And sends:

Auth_S = prf(Ka, "EAP-EKE server" | EAP-EKE-ID/Request | EAP-EKE-ID/Response | EAP-EKE-Commit/Request | EAP-EKE-Commit/Response).

The messages are included in full, starting with the EAP header, and including any possible future extensions.



 TOC 

5.4.  EAP-EKE-Confirm/Response

The peer computes Ka, and sends:

Confirm_P = Prot(Ke, Ki, Nonce_S)

as a protected field, and

Auth_P = prf(Ka, "EAP-EKE peer" | EAP-EKE-ID/Request | EAP-EKE-ID/Response | EAP-EKE-Commit/Request | EAP-EKE-Commit/Response)



 TOC 

5.5.  MSK and EMSK

Following the last message of the protocol, both sides compute and export the shared keys, each 512 bits in length:

MSK = prf+(SharedSecret, "EAP-EKE MSK" | ID_S | ID_P | Nonce_P | Nonce_S)

EMSK = prf+(SharedSecret, "EAP-EKE EMSK" | ID_S | ID_P | Nonce_P | Nonce_S)

When the RADIUS attributes specified in [RFC2548] (Zorn, G., “Microsoft Vendor-specific RADIUS Attributes,” March 1999.) are used to transport keying material, then the first 32 bytes of the MSK correspond to MS-MPPE-RECV-KEY and the second 32 bytes to MS-MPPE-SEND-KEY. In this case, only 64 bytes of keying material (the MSK) are used.



 TOC 

6.  Cryptographic Details



 TOC 

6.1.  Generating Keying Material

Keying material is derived as the output of the negotiated prf algorithm. Since the amount of keying material needed may be greater than the size of the output of the prf algorithm, we will use the prf iteratively. We denote by "prf+" the function that outputs a pseudo-random stream based on the inputs to a prf as follows (where | indicates concatenation):

prf+ (K, S) = T1 | T2 | T3 | T4 | ...

where:

T1 = prf(K, S | 0x01)

T2 = prf(K, T1 | S | 0x02)

T3 = prf(K, T2 | S | 0x03)

T4 = prf(K, T3 | S | 0x04)

continuing as needed to compute all required keys. The keys are taken from the output string without regard to boundaries (e.g., if the required keys are a 256-bit Advanced Encryption Standard (AES) key and a 160-bit HMAC key, and the prf function generates 160 bits, the AES key will come from T1 and the beginning of T2, while the HMAC key will come from the rest of T2 and the beginning of T3).

The constant concatenated to the end of each string feeding the prf is a single octet. prf+ in this document is not defined beyond 255 times the size of the prf output.



 TOC 

6.2.  Diffie-Hellman Groups

Many of the commonly used Diffie Hellman groups are inappropriate for use in EKE. Most of these groups use a generator which is not a primitive element of the group. As a result, an attacker running a dictionary attack would be able to learn at least 1 bit of information for each decrypted password guess.

Any MODP Diffie Hellman group defined for use in this protocol MUST have the following properties, to ensure that it does not leak a usable amount of information about the password:

  1. The generator is a primitive element of the group.
  2. The most significant 64 bits of the prime number are 1.
  3. The group's order p is a "safe prime", i.e. (p-1)/2 is also prime.

The last requirement is related to the strength of the Diffie Hellman algorithm, rather than the password encryption. It also makes it easy to verify that the generator is primitive.

We have defined the following groups:



 TOC 

6.3.  Mandatory Algorithms

To facilitate interoperability, the following algorithms are mandatory to implement:



 TOC 

7.  IANA Considerations

IANA has allocated the EAP method type XXX, for "EAP-EKE Version 1".

This document requests that IANA create the registries described in the following sub-sections. Values can be added or modified in these registries per Specification Required [RFC5226] (Narten, T. and H. Alvestrand, “Guidelines for Writing an IANA Considerations Section in RFCs,” May 2008.).



 TOC 

7.1.  Encryption Algorithm Registry

This section defines an IANA registry for encryption algorithms:


+-----------------+---------+----------------------------------+
| Name            | Value   | Definition                       |
+-----------------+---------+----------------------------------+
| Reserved        | 0       |                                  |
| ENCR_AES128_CBC | 1       | AES with a 128-bit key, CBC mode |
|                 | 2-127   | Available for allocation via IANA|
|                 | 128-255 | Reserved for private use         |
+-----------------+---------+----------------------------------+



 TOC 

7.2.  Pseudo Random Function Registry

This section defines an IANA registry for pseudo random function algorithms:


+-----------------+---------+-------------------------------------+
| Name            | Value   | Definition                          |
+-----------------+---------+-------------------------------------+
| Reserved        | 0       |                                     |
| PRF_HMAC_SHA1   | 1       | HMAC SHA-1, as defined in [RFC2104] |
| PRF_HMAC_SHA256 | 2       | HMAC SHA-256                        |
|                 | 3-127   | Available for allocation via IANA   |
|                 | 128-255 | Reserved for private use            |
+-----------------+---------+-------------------------------------+

A pseudo-random function takes two parameters K and S, and must be defined for all lengths of K including zero.



 TOC 

7.3.  Keyed Message Digest Registry

This section defines an IANA registry for keyed message digest algorithms:


+-----------------+---------+-------------------------------------+
| Name            | Value   | Definition                          |
+-----------------+---------+-------------------------------------+
| Reserved        | 0       |                                     |
| PRF_HMAC_SHA1   | 1       | HMAC SHA-1, as defined in [RFC2104] |
| PRF_HMAC_SHA256 | 2       | HMAC SHA-256                        |
|                 | 3-127   | Available for allocation via IANA   |
|                 | 128-255 | Reserved for private use            |
+-----------------+---------+-------------------------------------+



 TOC 

7.4.  Diffie-Hellman Group Registry

This section defines an IANA registry for Diffie-Hellman groups:


+----------------+---------+-------------------------------------------+
| Name           | Value   | Definition                                |
+----------------+---------+-------------------------------------------+
| Reserved       | 0       |                                           |
| DHGROUP_EKE_14 | 1       | 2048-bit MODP Group defined in this       |
|                |         | document                                  |
|                | 2-127   | Available for allocation via IANA         |
|                | 128-255 | Reserved for private use                  |
+----------------+---------+-------------------------------------------+



 TOC 

7.5.  Identity Type Registry

In addition, an identity type registry is defined:


   +-----------+---------+---------------------------------------------+
   | Name      | Value   | Definition                                  |
   +-----------+---------+---------------------------------------------+
   | Reserved  | 0       |                                             |
   | ID_OPAQUE | 1       | A printable UTF-8 string whose format is    |
   |           |         | undefined                                   |
   | ID_NAI    | 2       | A Network Access Identifier, as defined in  |
   |           |         | [RFC4282] (mandatory to implement)          |
   | ID_IPv4   | 3       | An IPv4 address, in binary format           |
   | ID_IPv6   | 4       | An IPv6 address, in binary format           |
   | ID_FQDN   | 5       | A fully qualified domain name (mandatory to |
   |           |         | implement)                                  |
   |           | 6-127   | Available for allocation via IANA           |
   |           | 128-255 | Reserved for private use                    |
   +-----------+---------+---------------------------------------------+



 TOC 

7.6.  Exchange Registry

This section defines an IANA registry for the EAP-EKE Exchange registry, an 8-bit long code. Initial values are defined in Section 4.1 (EAP-EKE Header). All values up to 0x80 are available for allocation via IANA. The remaining values up to 0xff are available for private use.



 TOC 

7.7.  Failure-Code Registry

This section defines an IANA registry for the Failure-Code registry, a 32-bit long code. Initial values are defined in Section 4.6 (EAP-EKE-Failure). All values up to 0xff000000 are available for allocation via IANA. The remaining values up to 0xffffffff are available for private use.



 TOC 

7.8.  Channel Binding Type Registry

This section defines an IANA registry for the Channel Binding Type registry, a 16-bit long code. The value 0x0000 has been defined as Reserved. All other values up to 0xff00 are available for allocation via IANA. The remaining values up to 0xffff are available for private use.



 TOC 

8.  Security Considerations

Any protocol that claims to solve the problem of password-authenticated key exchange must be resistant to active, passive and dictionary attack and have the quality of forward secrecy. These characteristics are discussed further in the following paragraphs.

Resistance to Passive Attack
A passive attacker is one that merely relays messages back and forth between the peer and server, faithfully, and without modification. The contents of the messages are available for inspection, but that is all. To achieve resistance to passive attack, such an attacker must not be able to obtain any information about the password or anything about the resulting shared secret from watching repeated runs of the protocol. Even if a passive attacker is able to learn the password, she will not be able to determine any information about the resulting secret shared by the peer and server.
Resistance to Active Attack
An active attacker is able to modify, add, delete, and replay messages sent between protocol participants. For this protocol to be resistant to active attack, the attacker must not be able to obtain any information about the password or the shared secret by using any of its capabilities. In addition, the attacker must not be able to fool a protocol participant into thinking that the protocol completed successfully. It is always possible for an active attacker to deny delivery of a message critical in completing the exchange. This is no different than dropping all messages and is not an attack against the protocol.
Resistance to Dictionary Attack
For this protocol to be resistant to dictionary attack any advantage an adversary can gain must be directly related to the number of interactions she makes with an honest protocol participant and not through computation. The adversary will not be able to obtain any information about the password except whether a single guess from a single protocol run is correct or incorrect.
Forward Secrecy
Compromise of the password must not provide any information about the secrets generated by earlier runs of the protocol.

[RFC3748] (Aboba, B., Blunk, L., Vollbrecht, J., Carlson, J., and H. Levkowetz, “Extensible Authentication Protocol (EAP),” June 2004.) requires that documents describing new EAP methods clearly articulate the security properties of the method. In addition, for use with wireless LANs, [RFC4017] (Stanley, D., Walker, J., and B. Aboba, “Extensible Authentication Protocol (EAP) Method Requirements for Wireless LANs,” March 2005.) mandates and recommends several of these. The claims are:

  1. Mechanism: password.
  2. Claims:
  3. Key strength: the strength of the resulting key depends on the finite cyclic group chosen. Sufficient key strength is REQUIRED by [RFC4017] (Stanley, D., Walker, J., and B. Aboba, “Extensible Authentication Protocol (EAP) Method Requirements for Wireless LANs,” March 2005.).
  4. Key hierarchy: MSKs and EMSKs are derived from the secret values generated during the protocol run, using a negotiated pseudo-random function.
  5. Vulnerabilities (note that none of these are REQUIRED by [RFC4017] (Stanley, D., Walker, J., and B. Aboba, “Extensible Authentication Protocol (EAP) Method Requirements for Wireless LANs,” March 2005.)):


 TOC 

8.1.  Cryptographic Analysis

When analyzing the Commit exchange, it should be noted that the base security assumptions are different from "normal" cryptology. Normally, we assume that the key has strong security properties, and that the data may have little. Here, we assume that the key has weak security properties (the attacker may have a list of possible keys), and hence we need to ensure that the data has strong properties (indistinguishable from random). This difference may mean that conventional wisdom in cryptology might not apply in this case. This also imposes severe constraints on the protocol, e.g. the mandatory use of random padding, and the need to define specific finite groups.



 TOC 

8.2.  Diffie Hellman Group Considerations

It is fundamental to the dictionary attack resistance that the Diffie Hellman public values Y_S and Y_P are indistinguishable from a random string. If this condition is not met, then a passive attacker can do trial-decryption of the encrypted DHComponent_P, DHComponent_S values based on a password guess, and if they decrypt to a value which in not a valid public value, they know that the password guess was incorrect.

For MODP groups, Section 6.2 (Diffie-Hellman Groups) gives conditions on the group to make sure that this criterion is met. For other groups (for example, Elliptic Curve groups), some other means of ensuring this must be employed. The standard way of expressing Elliptic Curve public values does not meet this criterion, as a valid Elliptic Curve X coordinate can be distinguished from a random string with probability approximately 0.5.

A future version of this document might introduce a group representation, and/or a slight modification of the password encryption scheme, so that Elliptic Curve groups can be accommodated. [BR02] (Black, J. and P. Rogaway, “Ciphers with Arbitrary Finite Domains,” 2002.) presents several alternative solutions for this problem.



 TOC 

8.3.  Resistance to Active Attacks

An attacker, impersonating either the peer or the server, can always try to enumerate all possible passwords, for example by using a dictionary. To counter this likely attack vector, both peer and server MUST implement rate-limiting mechanisms.



 TOC 

8.4.  Identity Protection, Anonymity and Pseudonymity

By default, the EAP-EKE-ID exchange is unprotected, and an eavesdropper can observe both parties' identities. However the parties may prefer to use a temporary identity at this stage in order to hide the true identity from the attacker. A similar technique is widely used when authenticating GSM subscribers. Note that in this respect EAP-EKE differs from tunneled methods, which typically provide unconditional identity protection to one of the peers by encrypting the identity exchange (but reveal information in the other peer's certicifate).



 TOC 

9.  Acknowledgements

Much of this document was unashamedly picked from [I‑D.harkins‑emu‑eap‑pwd] (Harkins, D. and G. Zorn, “EAP Authentication Using Only A Password,” April 2010.) and [I‑D.ietf‑pppext‑eap‑srp‑03] (Carlson, J., Aboba, B., and H. Haverinen, “EAP SRP-SHA1 Authentication Protocol,” July 2001.), and we would like to acknowledge the authors of these documents: Dan Harkins, Glen Zorn, James Carlson, Bernard Aboba and Henry Haverinen. We would like to thank David Jacobson and Steve Bellovin for their useful comments. Lidar Herooty and Idan Ofrat implemented this protocol and helped us improve it by asking the right questions, and we would like to thank them both.



 TOC 

10.  References



 TOC 

10.1. Normative References

[RFC2104] Krawczyk, H., Bellare, M., and R. Canetti, “HMAC: Keyed-Hashing for Message Authentication,” RFC 2104, February 1997 (TXT).
[RFC2119] Bradner, S., “Key words for use in RFCs to Indicate Requirement Levels,” BCP 14, RFC 2119, March 1997 (TXT, HTML, XML).
[RFC2548] Zorn, G., “Microsoft Vendor-specific RADIUS Attributes,” RFC 2548, March 1999 (TXT).
[RFC3526] Kivinen, T. and M. Kojo, “More Modular Exponential (MODP) Diffie-Hellman groups for Internet Key Exchange (IKE),” RFC 3526, May 2003 (TXT).
[RFC3748] Aboba, B., Blunk, L., Vollbrecht, J., Carlson, J., and H. Levkowetz, “Extensible Authentication Protocol (EAP),” RFC 3748, June 2004 (TXT).
[RFC4013] Zeilenga, K., “SASLprep: Stringprep Profile for User Names and Passwords,” RFC 4013, February 2005 (TXT).
[RFC4282] Aboba, B., Beadles, M., Arkko, J., and P. Eronen, “The Network Access Identifier,” RFC 4282, December 2005 (TXT).


 TOC 

10.2. Informative References

[BM92] Bellovin, S. and M. Merritt, “Encrypted Key Exchange: Password-Based Protocols Secure Against Dictionary Attacks,” Proc. IEEE Symp. on Research in Security and Privacy , May 1992.
[BM93] Bellovin, S. and M. Merritt, “Augmented Encrypted Key Exchange: A Password-Based Protocol Secure against Dictionary Attacks and Password File Compromise,” Proc. 1st ACM Conference on Computer and Communication Security , 1993.
[BMP00] Boyko, V., MacKenzie, P., and S. Patel, “Provably Secure Password Authenticated Key Exchange Using Diffie-Hellman,” Advances in Cryptology, EUROCRYPT 2000 , 2000.
[BR02] Black, J. and P. Rogaway, “Ciphers with Arbitrary Finite Domains,” Proc. of the RSA Cryptographer's Track (RSA CT '02), LNCS 2271 , 2002.
[I-D.harkins-emu-eap-pwd] Harkins, D. and G. Zorn, “EAP Authentication Using Only A Password,” draft-harkins-emu-eap-pwd-14 (work in progress), April 2010 (TXT).
[I-D.ietf-pppext-eap-srp-03] Carlson, J., Aboba, B., and H. Haverinen, “EAP SRP-SHA1 Authentication Protocol,” draft-ietf-pppext-eap-srp-03 (work in progress), July 2001.
[I-D.krawczyk-hkdf] Krawczyk, H. and P. Eronen, “HMAC-based Extract-and-Expand Key Derivation Function (HKDF),” draft-krawczyk-hkdf-01 (work in progress), January 2010 (TXT).
[JAB96] Jablon, D., “Strong Password-Only Authenticated Key Exchange,” ACM Computer Communications Review Volume 1, Issue 5, October 1996.
[LUC97] Lucks, S., “Open Key Exchange: How to Defeat Dictionary Attacks Without Encrypting Public Keys,” Proc. of the Security Protocols Workshop LNCS 1361, 1997.
[PA97] Patel, S., “Number Theoretic Attacks On Secure Password Schemes,” Proceedings of the 1997 IEEE Symposium on Security and Privacy , 1997.
[RFC4017] Stanley, D., Walker, J., and B. Aboba, “Extensible Authentication Protocol (EAP) Method Requirements for Wireless LANs,” RFC 4017, March 2005 (TXT).
[RFC4086] Eastlake, D., Schiller, J., and S. Crocker, “Randomness Requirements for Security,” BCP 106, RFC 4086, June 2005 (TXT).
[RFC5226] Narten, T. and H. Alvestrand, “Guidelines for Writing an IANA Considerations Section in RFCs,” BCP 26, RFC 5226, May 2008 (TXT).


 TOC 

Appendix A.  Change Log

Note to RFC Editor: please remove this section before publication.



 TOC 

A.1.  -03

Added a provision for channel binding.

Clarified the notation for protected vs. encrypted fields.

Explained how pseudonymity can be provided.

Implementations need not implement the "password not found" failure.

Eliminated the Design Options appendix.



 TOC 

A.2.  -02

Added text from EAP-SIM re: exporting MSK in RADIUS MPPE attributes.

Eliminated protected failures: they are too rarely useful.

Added the "extraction step" of HKDF.

Removed the check for g^x != 0, since this can never happen for an honest peer, and otherwise requires an active password-guessing attacker, against which other protections are required. Added a related subsection about rate limiting.

Added an Exchange Registry to the IANA Considerations.

A general structure for protected (and merely encrypted) fields, which clarifies the protocol and also adds explicit integrity protection for the encrypted nonces, as recommended by [BM92] (Bellovin, S. and M. Merritt, “Encrypted Key Exchange: Password-Based Protocols Secure Against Dictionary Attacks,” May 1992.).



 TOC 

A.3.  -01

Revised following comments raised on the CFRG mailing list. In particular, added security considerations and a new DH group definition, to resolve the vulnerability in case the group's generator is not a primitive element.



 TOC 

A.4.  -00

Initial version.



 TOC 

Authors' Addresses

  Yaron Sheffer
  Check Point Software Technologies Ltd.
  5 Hasolelim St.
  Tel Aviv 67897
  Israel
Email:  yaronf@checkpoint.com
  
  Glen Zorn
  Network Zen
  1310 East Thomas Street
  #306
  Seattle, Washington 98102
  USA
Phone:  +1 (206) 377-9035
Email:  gwz@net-zen.net
  
  Hannes Tschofenig
  Nokia Siemens Networks
  Linnoitustie 6
  Espoo 02600
  Finland
Phone:  +358 (50) 4871445
Email:  Hannes.Tschofenig@gmx.net
URI:  http://www.tschofenig.priv.at
  
  Scott Fluhrer
  Cisco Systems.
  1414 Massachusetts Ave.
  Boxborough, MA 01719
  USA
Email:  sfluhrer@cisco.com