E. Rescorla
INTERNET-DRAFT                                                RTFM Inc.
<draft-ietf-smime-x942-04.txt>         December 1998
<draft-ietf-smime-x942-05.txt>         January 1999 (Expires June July 1999)

                  Diffie-Hellman Key Agreement Method

Status of this Memo

   This document is an Internet-Draft.  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.''

   To learn the current status of any Internet-Draft, please check the
   ``1id-abstracts.txt'' listing contained in the Internet-Drafts Shadow
   Directories on ftp.is.co.za (Africa), nic.nordu.net (Europe),
   munnari.oz.au (Pacific Rim), ftp.ietf.org (US East Coast), or
   ftp.isi.edu (US West Coast).

Abstract

   This document standardizes one particular Diffie-Hellman variant,
   based on the ANSI X9.42 standard, draft, developed by the ANSI X9F1 working
   group. Diffie-Hellman is a key agreement algorithm used by two par-
   ties to agree on a shared secret. An algorithm for converting the
   shared secret into an arbitrary amount of keying material is pro-
   vided. The resulting keying material is used as a symmetric encryp-
   tion key.  The D-H variant described requires the recipient to have a
   certificate, but the originator may have a static key pair (with the
   public key placed in a certificate) or an ephemeral key pair.

1.  Introduction

   In [DH76] Diffie and Hellman describe a means for two parties to
   agree upon a shared secret in such a way that the secret will be una-
   vailable to eavesdroppers. This secret may then be converted into
   cryptographic keying material for other (symmetric) algorithms.  A
   large number of minor variants of this process exist. This document
   describes one such variant, based on the ANSI X9.42 specification.

Rescorla                                                         [Page 1]Internet-Draft    Diffie-Hellman Key Agreement Method

1.1.  Discussion of this Draft

   This draft is being discussed on the "ietf-smime" mailing list.  To
   join the list, send a message to <ietf-smime-request@imc.org> with
   the single word "subscribe" in the body of the message.  Also, there
   is a Web site for the mailing list at <http://www.imc.org/ietf-
   smime/>.

1.2.  Requirements Terminology

   Keywords "MUST", "MUST NOT", "REQUIRED", "SHOULD", "SHOULD NOT" and
   "MAY" that appear in this document are to be interpreted as described
   in [RFC2119].

2.  Overview Of Method

   Diffie-Hellman key agreement requires that both the sender and reci-
   pient of a message have key pairs. By combining one's private key and
   the other party's public key, both parties can compute the same
   shared secret number. This number can then be converted into crypto-
   graphic keying material. That keying material is typically used as a
   key-encryption key (KEK) to encrypt (wrap) a content-encryption key
   (CEK) which is in turn used to encrypt the message data.

2.1.  Key Agreement

   The first stage of the key agreement process is to compute a shared
   secret number, called ZZ.  When the same originator and recipient
   public/private key pairs are used, the same ZZ value will result.
   The ZZ value is then converted into a shared symmetric cryptographic
   key. When the originator employs a static private/public key pair,
   the introduction of public random values are used to ensure that the
   resulting symmetric key will be different for each key agreement.

2.1.1.  Generation of ZZ

   X9.42 defines that the shared secret ZZ is generated as follows:

           ZZ = g ^ (xb * xa) mod p

   Note that the individual parties actually perform the computations:

           ZZ = yb ^ xa    (mod p) = ya ^ xb  mod p

   where ^ denotes exponentiation
         ya is party a's public key; ya = g ^ xa mod p
         yb is party b's public key; yb = g ^ xb mod p
         xa is party a's private key

Rescorla                                                         [Page 2]Internet-Draft    Diffie-Hellman Key Agreement Method

         xb is party b's private key
         p is a large prime
         q is a large prime
         g = h(p-1)/q h^{(p-1)/q} mod p, where
         h is any integer with 1 < h < p-1 such that h(p-1)/q mod p > 1
           (g has order q mod p)
         q is a large prime p; i.e. g^q mod p = 1 if g!=1)
         j a large integer such that p=qj + 1
         (See Section 2.2 for criteria for keys and parameters)

   In [CMS], the recipient's key is identified by the CMS RecipientIden-
   tifier, which points to the recipient's certificate.  The sender's
   key is identified using the OriginatorIdentifierOrKey field, either
   by reference to the sender's certificate or by inline inclusion of a
   key.

2.1.2.  Generation of Keying Material

   X9.42 provides an algorithm for generating an essentially arbitrary
   amount of keying material from ZZ. Our algorithm is derived from that
   algorithm by mandating some optional fields and omitting others.

           KM = H ( ZZ || OtherInfo)

   H is the message digest function SHA-1 [FIPS-180]
   ZZ is the shared key secret value computed in Section 2.1.1 2.1.1. Leading zeros MUST
   be preserved, so that ZZ occupies as many octets as p. For
   instance, if p is 1024 bits, ZZ should be 128 bytes long.
   OtherInfo is the DER encoding of the following structure:

           OtherInfo ::= SEQUENCE {
             keyInfo KeySpecificInfo,
             pubInfo [2]
             partyAInfo [0] OCTET STRING OPTIONAL,
             suppPubInfo [2] OCTET STRING
           }

           KeySpecificInfo ::= SEQUENCE {
             algorithm OBJECT IDENTIFIER,
             counter OCTET STRING SIZE (4..4) }

   algorithm is the ASN.1 algorithm OID of the symmetric algorithm with which
     this KEK will be used. Note that this is NOT an AlgorithmIdentifier,
     but simply the OBJECT IDENTIFIER. No paramters parameters are used.
   counter is a 32 bit number, represented in network byte order. Its
     initial value is 1 for any ZZ, i.e. the byte sequence 00 00 00 01
     (hex), and it is incremented by one every time the above key generation
     function is run for a given KEK.
   pubInfo
   partyAInfo is a random string provided by the sender. In CMS, it is provided as
     a parameter in the UserKeyingMaterial field (encoded as an OCTET STRING). If
     provided this pubInfo

Rescorla                                                         [Page 3]Internet-Draft    Diffie-Hellman Key Agreement Method

     provided, partyAInfo MUST contain 512 bits.
   suppPubInfo is the length of the generated KEK, in bits, represented
     as a 32 bit number in network byte order. E.g. for 3DES it
     would be the byte sequence 00 00 00 C0.

   Note that these ASN.1 definitions use EXPLICIT tagging. (In ASN.1,
   EXPLICIT tagging is implicit unless IMPLICIT is explicitly speci-
   fied.)

   To generate a KEK, one generates one or more KM blocks (incrementing
   counter appropriately) until enough material has been generated.  The
   KM blocks are concatenated left to right in the obvious order.  I.e.
   KM(counter=1) || KM(counter=2)...

   Note that the only source of secret entropy in this computation is

Rescorla                                                         [Page 3]Internet-Draft    Diffie-Hellman Key Agreement Method
   ZZ, so the security of this data is limited to the size of ZZ, p and q,
   even if more data a string longer than ZZ is generated. However, if pubInfo partyAInfo
   is different for each message, a different KEK will be generated for
   each message. Note that pubInfo partyAInfo MUST be used in Static-Static
   mode, but MAY appear in Ephemeral-Static mode.

2.1.3.  KEK Computation

   Each key encryption algorithm requires a specific size key (n). The
   KEK is generated by mapping the left n-most bytes of KM onto the key.
   For 3DES, which requires 192 bits of keying material, the algorithm
   must be run twice, once with a counter value of 1 (to generate K1',
   K2', and the first 32 bits of K3') and once with a counter value of 2
   (to generate the last 32 bits of K3). K1',K2' and K3' are then parity
   adjusted to generate the 3 DES keys K1,K2 and K3.  For RC2, which
   requires 128 bits of keying material, the algorithm is run once, with
   a counter value of 1, and the left-most 128 bits are directly con-
   verted to an RC2 key.

2.1.4.  Keylengths for common algorithms

   Some common key encryption algorithms have KEKs of the following
   lengths.

           3DES-EDE-ECB    192 bits
           RC2 (all)       128 bits

2.1.5.  Public Key Validation

   The following algorithm MAY be used to validate a received public keys. key
   y.

Rescorla                                                         [Page 4]Internet-Draft    Diffie-Hellman Key Agreement Method

           1. Verify that y lies within the interval [2,p-1]. If it does not,
           the key is invalid.
           2. Compute y^q mod p. If the result == 1, the key is valid.
           Otherwise the key is invalid.

   The primary purpose of public key validation is to prevent a small
   subgroup attack [LAW98] on the sender's key pair. If Ephemeral-Static
   mode is used, this check may not be necessary. See also [P1363] for
   more information on Public Key validation.

   Note that this procedure may be subject to pending patents.

2.1.6.  Example 1

   ZZ is the 16 20 bytes 00 01 02 03 04 05 06 07 08 09
                      0a 0b 0c 0d 0e 0f

Rescorla                                                         [Page 4]Internet-Draft    Diffie-Hellman Key Agreement Method 10 11 12 13

   The key encryption algorithm is 3DES-EDE.

   No pubInfo partyAInfo is used

   Consequently, the input to the first invocation of SHA-1 is:

   00 01 02 03 04 05 06 07 08 09 0a 0b 0c 0d 0e 0f 10 11 12 13 ; ZZ
   30 12 1a
      30 10
         06 08 2a 86 48 86 f7 0d 03 07                         ; 3DES-EDE 3DES OID
         04 04
            00 00 00 01                                        ; Counter
      a2 06
         04 04
            00 00 00 c0                                        ; key length

   And the output is the 20 bytes:

   20 be

   b4 85 32 07 a9 da b2 9a 23 e3 3b 72 ef 16 8e e3 ae 18 5a 00 93 b0 d6 49 56 22 a8 a5 3f ed cd 65 92 26 0a 4a

   The input to the second invocation of SHA-1 is:

   00 01 02 03 04 05 06 07 08 09 0a 0b 0c 0d 0e 0f 10 11 12 13 ; ZZ
   30 12 1a
      30 10
         06 08 2a 86 48 86 f7 0d 03 07                         ; 3DES-EDE 3DES OID
         04 04
            00 00 00 02                                        ; Counter

Rescorla                                                         [Page 5]Internet-Draft    Diffie-Hellman Key Agreement Method

      a2 06
         04 04
            00 00 00 c0                                        ; key length

   And the output is the 20 bytes:

   3b 4e fd d4 6e ff 6b 6d 35 a9 cd e3 e3 e7 05 39 e0

   9d 95 43 57 15 e9 c8 31 53 de ce 8a 64 fe e4 c8 d6 0c bf 50 a6 e1

   Consequently,
   K1'=20 be 23 e3 3b 72 ef 16
   K2'=8e e3 ae 18
   K1'=b4 85 32 07 a9 da b2 9a
   K2'=23 5a 00 93 b0
   K3'=d6 49 56 22 3b 4e fd d4 a8 a5 3f ed cd 65
   K3'=92 26 0a 4a 9d 95 43 57

   Note: These keys are not parity adjusted

2.1.7.  Example 2

   ZZ is the 16 20 bytes 00 01 02 03 04 05 06 07 08 09
                      0a 0b 0c 0d 0e 0f 10 11 12 13

   The key encryption algorithm is RC2

   The pubInfo partyAInfo used is the 64 bytes

   01 23 45 67 89 ab cd ef fe dc ba 98 76 54 32 01 23 45 67
   89 ab cd ef
   01 23 45 67 89 ab cd ef fe dc ba 98 76 54 32 01 23 45 67 89 ab cd ef
   01 23 45 67 89 ab cd ef fe dc ba 98 76 54 32 01 23 45 67 89 ab cd ef
   01 23 45 67 89 ab cd ef fe dc ba 98 76 54 32 01 23
   45 67 89 ab cd ef

   Consequently, the input to SHA-1 is:

Rescorla                                                         [Page 5]Internet-Draft    Diffie-Hellman Key Agreement Method

   00 01 02 03 04 05 06 07 08 09 0a 0b 0c 0d 0e 0f 10 11 12 13 ; ZZ
   30 56 5e
      30 10
         06 08 2a 86 48 86 f7 0d 03 02                         ; RC2 OID
         04 04
            00 00 00 01                                        ; Counter
      a2
      a0 42
         04 40
            01 23 45 67  89 ab cd ef  fe dc ba 98  76 54 32 01 23 45 67 89 ab cd ef ; PubInfo partyAInfo
            01 23 45 67  89 ab cd ef  fe dc ba 98  76 54 32 01 23 45 67 89 ab cd ef
            01 23 45 67  89 ab cd ef  fe dc ba 98  76 54 32 01 23 45 67 89 ab cd ef
            01 23 45 67  89 ab cd ef  fe dc ba 98  76 54 32 01 23 45 67 89 ab cd ef
      a2 06
         04 04
            00 00 00 80                                        ; key length

   And the output is the 20 bytes:

   c7 4e c5 80 68 7d 70 aa 06

Rescorla                                                         [Page 6]Internet-Draft    Diffie-Hellman Key Agreement Method

   52 45 e1 6d 27 57 be d6 8e 20 53 6b 38 d3 e3 c7 2a da 5a 67 4e cf 06 b7 63 47 63 13 1d fd

   Consequently,
   K=c7 4e c5 80 68 7d 70 aa 06
   K=52 45 e1 6d 27 57 be d6 8e 20 53 6b 38 d3 e3 c7 2a da 5a b7 63 47

2.2.  Key and Parameter Requirements

   X9.42 requires that the group parameters be of the form p=jq + 1
   where q is a large prime of length m and j>=2. An algorithm for gen-
   erating primes of this form (derived from the algorithms in FIPS PUB
   186-1[DSS], and [X942]can be found in appendix A.

   X9.42 requires that the private key x be in the interval [2, (q -
   2)]. x should be randomly generated in this interval. y is then com-
   puted by calculating g^x mod p.  To comply with this draft, m MUST be
   >=160, (consequently, q and x MUST each be at least 128 160 bits long). When
   symmetric ciphers stronger than DES are to be used, a larger m may be
   advisable. p must be a minimum of 160 bits long.

2.2.1.  Group Parameter Generation

   Agents SHOULD generate domain parameters (g,p,q) using the following
   algorithm, derived from [FIPS-186] and [X942]. When this algorithm is
   used, the correctness of the generation procedure can be verified by
   a third party by the algorithm of 2.2.2.

2.2.1.1.  Generation of p, q

   This algorithm generates a p, q pair where q is of length m and
   p is of length L.

   Let L - 1 = n*m + b where both b and n are integers and
   0 <= b < 160.

Rescorla                                                         [Page 6]Internet-Draft    Diffie-Hellman Key Agreement Method

   1. Choose an arbitrary sequence of at least m bits and call it SEED.
   Let g be the length of SEED in bits.

   2. Set U = 0

   3. Set m' = m / 160, where / represents integer division,
      consequently, if m = 200, m' = 1.

   4. for i = 0 to m' - 1

           U = U + SHA[SEED + i] XOR SHA[(SEED + m' + i) mod 2^160] * 2^(160 * i)

   Note that for m=160, this reduces to the algorithm of [FIPS186]

Rescorla                                                         [Page 7]Internet-Draft    Diffie-Hellman Key Agreement Method

           U = SHA[SEED] XOR SHA[(SEED+1) mod 2^160 ].

   5.  Form q from U by setting the most significant bit (the 2^(m-1) bit)
   and the least significant bit to 1. In terms of boolean operations,
   q = U OR 2^(m-1) OR 1. Note that 2^(m-1) < q < 2^m

   6. Use a robust primality algorithm to test whether q is prime.

   7. If q is not prime then go to 1.

   8. Let counter = 0 and offset = 2

   9. For k = 0 to n let

           Vk = SHA[(SEED + offset + k) mod 2^160 ].

   10. Let W be the integer

           W = V0 + V1*2^160 + ... + Vn-1*2(n-1)*160 + (Vn mod 2^b)
            * 2n*160
   and let
           X = W + 2^(L-1)

   Note that 0 <= W < 2^(L-1) and hence 2^(L-1)

   11. Let c = X mod (2 * q) and set p = X - (c-1). Note that p is congruent
   to 1 mod (2 * q).

   12. If p < 2^(L -1) then go to step 15.

   13. Perform a robust primality test on p.

   14. If p passes the test performed in step 13 go to step 17.

Rescorla                                                         [Page 7]Internet-Draft    Diffie-Hellman Key Agreement Method

   15. Let counter = counter + 1 and offset = offset + n + 1.

   16. If counter >=  4096 go to step 1. Otherwise go to step 9.

   17. Save the value of SEED and the value of counter for use
   in certifying the proper generation of p and q.

   Note: A robust primality test is one where the probability of
   a non-prime number passing the test is at most 2^-80. [FIPS-186]
   provides a suitable algorithm, as does [X9.42].

2.2.1.2.  Generation of g

   This section gives an algorithm (derived from [FIPS186]) for generat-
   ing

Rescorla                                                         [Page 8]Internet-Draft    Diffie-Hellman Key Agreement Method

   generating g.
   1. Let j = (p - 1)/q.

   2. Set h = any integer, where 1 < h < p - 1 and h differs
   from any value previously tried.

   3. Set g = h^j mod p

   4. If g = 1 go to step 2

2.2.2.  Group Parameter Validation

   The ASN.1 for DH keys in [PKIX] includes elements j and validation-
   Parms which MAY be used by recipients of a key to verify that the
   group parameters were correctly generated. Two checks are possible:

        1. Verify that p=qj + 1. This demonstrates that the parameters meet
        the X9.42 parameter criteria.
        2. Verify that when the p,q generation procedure of [FIPS-186]
        Appendix 2 is followed with seed 'seed', that p is found when
        This demonstrates that the parameters were randomly chosen and
        do not have a special form.

   Whether agents provide validation information in their certificates
   is a local matter between the agents and their CA.

2.3.  Ephemeral-Static Mode

   In Ephemeral-Static mode, the recipient has a static (and certified)
   key pair, but the sender generates a new key pair for each message
   and sends it using the originatorKey production. If the sender's key
   is freshly generated for each message, the shared secret ZZ will be
   similarly different for each message and pubInfo partyAInfo MAY be omitted,
   since it serves merely to decouple multiple KEKs generated by the

Rescorla                                                         [Page 8]Internet-Draft    Diffie-Hellman Key Agreement Method
   same set of pairwise keys. If, however, the same ephemeral sender key
   is used for multiple messages (e.g. it is cached as a performance
   optimization) then a separate pubInfo partyAInfo MUST be used for each message. mes-
   sage. All implementations of this standard MUST implement Ephemeral-Static Ephemeral-
   Static mode.

   In order to resist small subgroup attacks, the recipient SHOULD per-
   form the check described in 2.1.5. If the sender an opponent cannot determine
   success or failure of decryption, a decryption operation by the recipient, the
   recipient MAY choose to omit this check.

Rescorla                                                         [Page 9]Internet-Draft    Diffie-Hellman Key Agreement Method

2.4.  Static-Static Mode

   In Static-Static mode, both the sender and the recipient have a
   static (and certified) key pair. Since the sender's and recipient's
   keys are therefore the same for each message, ZZ will be the same for
   each message. Thus, pubInfo partyAInfo MUST be used (and different for each mes-
   sage)
   message) in order to ensure that different messages use different
   KEKs. Implementations MAY implement Static-Static mode.

   In order to prevent small subgroup attacks, both originator and reci-
   pient SHOULD either perform the validation step described in S 2.1.5
   or verify that the CA has properly verified the validity of the key.

Acknowledgements

   The Key Agreement method described in this document is based on work
   done by the ANSI X9F1 working group. The author wishes to extend his
   thanks for their assistance.

   The author also wishes to thank Paul Hoffman, Stephen Henson, Russ
   Housley, Brian Korver, Jim Schaad, Mark Schertler, and Peter Yee Yee, and
   Robert Zuccherato for their expert advice and review.

References
   [CMS] Housley, R., "Cryptographic Message Syntax", draft-ietf-smime-cms-07.txt.

   [FIPS-46-1] Federal Information Processing Standards Publication (FIPS PUB)
        46-1, Data Encryption Standard, Reaffirmed 1988 January 22
        (supersedes FIPS PUB 46, 1977 January 15).

   [FIPS-81] Federal Information Processing Standards Publication (FIPS PUB)
        81, DES Modes of Operation, 1980 December 2.

   [FIPS-180] Federal Information Processing Standards Publication (FIPS PUB)
       180-1, "Secure Hash Standard", 1995 April 17.

   [FIPS-186] Federal Information Processing Standards Publication (FIPS PUB)

Rescorla                                                         [Page 9]Internet-Draft    Diffie-Hellman Key Agreement Method
       186, "Digital Signature Standard", 1994 May 19.

   [P1363] "Standard Specifications for Public Key Cryptography", IEEE P1363
       working group draft, 1998, Annex D.

   [PKIX] Housley, R., Ford, W., Polk, W., Solo, D., "Internet X.509 Public
       Key Infrastructure Certificate and CRL Profile", RFC-XXXX.

   [LAW98] L. Law, A. Menezes, M. Qu, J. Solinas and S. Vanstone,
       "An efficient protocol for authenticated key agreement",
       Technical report CORR 98-05, University of Waterloo, 1998.

Rescorla                                                        [Page 10]Internet-Draft    Diffie-Hellman Key Agreement Method

   [LL97] C.H. Lim and P.J. Lee, "A key recovery attack on discrete log-based
        schemes using a prime order subgroup", B.S. Kaliski, Jr., editor,
        Advances in Cryptology - Crypto '97, Lecture Notes in Computer Science,
        vol. 1295, 1997, Springer-Verlag, pp. 249-263.

   [RFC2119] Bradner, S., "Key words for use in RFCs to Indicate Requirement
        Levels." RFC 2119. March 1997.

   [X942] "Agreement Of Symmetric Keys Using Diffie-Hellman and MQV Algorithms",
       ANSI draft, 1998.

Security Considerations

   All the security in this system is provided by the secrecy of the
   private keying material. If either sender or recipient private keys
   are disclosed, all messages sent or received using that key are
   compromised. Similarly, loss of the private key results in an inabil-
   ity to read messages sent using that key.

   Static Diffie-Hellman keys are vulnerable to a small subgroup attack
   [LAW98]. In practice, this issue arises for both sides in Static-
   Static mode and for the receiver during Ephemeral-Static mode.  S 2.3
   and 2.4 describe appropriate practices to protect against this
   attack. Alternatively, it is possible to generate keys in such a
   fashion that they are resistant to this attack. See [LL97]

   In order to securely generate a symmetric key of length l, m (the
   length in bits of q, and hence x) should be at least 2l. m MUST
   always be >= 160. Consequently, for RC2, m should be >=256 and for
   3DES, >=336 >=224 (the effective length of 3DES keys is 168 112 bits).

Author's Address

Eric Rescorla <ekr@rtfm.com>
RTFM Inc.
30 Newell Road, #16
East Palo Alto, CA 94303

Rescorla                                                        [Page 10] 11]Internet-Draft    Diffie-Hellman Key Agreement Method

                           Table of Contents

1. Introduction ...................................................    1

1.1. Discussion of this Draft .....................................    2

1.2. Requirements Terminology .....................................    2

2. Overview Of Method .............................................    2

2.1. Key Agreement ................................................    2

2.1.1. Generation of ZZ ...........................................    2

2.1.2. Generation of Keying Material ..............................    3

2.1.3. KEK Computation ............................................    4

2.1.4. Keylengths for common algorithms ...........................    4

2.1.5. Public Key Validation ......................................    4

2.1.6. Example 1 ..................................................    4    5

2.1.7. Example 2 ..................................................    5    6

2.2. Key and Parameter Requirements ...............................    6    7

2.2.1. Group Parameter Generation .................................    6    7

2.2.1.1. Generation of p, q .......................................    6    7

2.2.1.2. Generation of g ..........................................    8

2.2.2. Group Parameter Validation .................................    8    9

2.3. Ephemeral-Static Mode ........................................    8    9

2.4. Static-Static Mode ...........................................    9   10

2.4. Acknowledgements .............................................    9   10

Rescorla                                                        [Page 11] 12]Internet-Draft    Diffie-Hellman Key Agreement Method

2.4. References ...................................................    9   10

Security Considerations ...........................................   10   11

Author's Address ..................................................   10   11