Re: [Curdle] AD Review: draft-ietf-curdle-cms-ecdh-new-curves-04.txt

[Jim Schaad <[e-mail]>]

 

 

From: Russ Housley [mailto:[e-mail]] 
Sent: Tuesday, May 9, 2017 12:36 PM
To: Jim Schaad <[e-mail]>
Cc: Eric Rescorla <[e-mail]>; curdle <[e-mail]>
Subject: Re: [Curdle] AD Review: draft-ietf-curdle-cms-ecdh-new-curves-04.txt

 

 

On May 9, 2017, at 1:47 PM, Jim Schaad <[e-mail] <mailto:[e-mail]> > wrote:

 

See inline.

 

From: Curdle [ <mailto:[e-mail]> mailto:[e-mail]] On Behalf Of Russ Housley
Sent: Tuesday, May 9, 2017 9:04 AM
To: Eric Rescorla < <mailto:[e-mail]> [e-mail]>
Cc: curdle < <mailto:[e-mail]> [e-mail]>
Subject: Re: [Curdle] AD Review: draft-ietf-curdle-cms-ecdh-new-curves-04.txt

 

I dropped the parts that have been resolved.






> TECHNICAL
> S 2.
>    X25519 is described in Section 6.1 of [CURVES], and X448 is described
>    in Section 6.2 of [CURVES].  Since curve25519 and curve448 have
>    cofactors of 8 and 4, respectively, an input point of small order
>    will eliminate any contribution from the other party’s private key.
>    As described in Section 7 of [CURVES], implementations SHOULD detect
>    this situation by checking for the all-zero output.
>
> Why are you not requiring this check? SSH and TLS both do.

RFC 7748 [CURVES] says:

   Protocol designers using Diffie-Hellman over the curves defined in
   this document must not assume "contributory behaviour".  Specially,
   contributory behaviour means that both parties' private keys
   contribute to the resulting shared key.  Since curve25519 and
   curve448 have cofactors of 8 and 4 (respectively), an input point of
   small order will eliminate any contribution from the other party's
   private key.  This situation can be detected by checking for the all-
   zero output, which implementations MAY do, as specified in Section 6.
   However, a large number of existing implementations do not do this.

We upgraded the MAY to a SHOULD.  We are being told that some implementations will not perform this check, so it seemed wrong to go all the way to MUST.

 

I'd like to push on this some, because I'm having trouble seeing why different IETF protocols have different needs. When you say "you are being told" is that an S/MIME specific point or merely the the text above?

 

The text above, which I gather is about some existing implementations, probably libraries.  I do not know what protocols use those implementations, but if they are libraries they will get used with many different protocols.

 

[JLS] As I have stated in the past – I am with EKR on this.

 

Previously, only Jim had posted in support for this check.  I will change the SHOULD to a MUST.









>    The ECC-CMS-SharedInfo entityUInfo field optionally contains
>    additional keying material supplied by the sending agent.  Note that
>    [CMS] requires implementations to accept a KeyAgreeRecipientInfo
>    SEQUENCE that includes the ukm field.  If the ukm field is present,
>    the ukm is placed in the entityUInfo field.  The ukm value need not
>    be longer than the key-encryption key that will be produced by the
>    KDF.
>
> Need not? Please clarify what the purpose is here. It seems like
> it's to generate a unique KEK. In that case, the security bounds
> are what, uniqueness?

I suggest this wording:

   … There is no security benefit to using a ukm value that is
   longer than the key-encryption key that will be produced by
   the KDF.

 

Hmm... I believe that this statement is true, but it also seems to be

incomplete. I may be reasoning about this incorrectly, but it seems

to me that the minimal security requirement is that the UKM be

unique, but that can be achieved with a value much smaller than

the KEK. For instance, it seems like if you have a 256-bit KEK,

then you would still be OK with a randomly-generated 128-bit

UKM. And if we're concerned about random collisions, then the

usefulness bound is actually min(|KEK|, |hash compression function size|).

 

Yes. The umm value needs to be different for each invocation of the KDF, otherwise it does not provide the assurance that different keying material will be produced.  Of course, an implementation will generate the umm value using random number generator, not track the values that are used.  Several years ago, there was a discussion about the size of the ukm needed.  Some people were suggesting crazy large values, and the point was made that anything beyond the SIZEOF(KEK) did not improve security.

 

Are you asking for a sentence saying that the ukm, if present, MUST be at least 128 bits?

 

[JLS] I would disagree that the value has to be random, a counter will work as well.  (An encrypted counter is better.)  I not be happy with a fixed size requirement on this easier.  There is no reason to make such a requirement that I can think of.  A 64-bit counter is just as rational.  It might make more sense to change this statement into something along the lines of 

 

* Any pair of static keys MUST NOT be used more times than the size of the key.  I.e. if 128-bit KEKs may be used, then there is a 2^128 limit on the number of times the key pair can be used.

* The size of the KEK is normally not longer than the length of the resulting KEK as that is the limit of unique values that can be generated in any event.

 

Section 2 already says that the ephemeral key MUST be used for only one message.  Thus, a UKM is not really needed.  However, the CMS requires support for a UKM if the sender include it.  For this reason, the document says how to handle it in the KDF if it is present.

 

You are correct that a counter, encrypted counter, or random value will work, even if the originator uses the same ephemeral key for many messages.  The text does not limit the choices in any way.

 

The text already says that there is no security reason for a UKM value that is longer than the KEK.  I think that EKR is asking for guidance on the minimum size too.

 

[JLS] It’s kind of a stupid thing to do, but the minimum size would be one bit.  Although this is not legal from an ASN.1 standpoint – so the minimum would be one byte. 

 

A single byte with all bits zero and two bytes with all bits zero are different ukm values because of the way that they are used in the ECC-CMS-SharedInfo structure.  Note that this would not be the case if the ukm value was only used as a salt value to HKDF.  I do not see any reason to specify a minimum length of this value.  The only thing that is required is uniqueness, EKR is correct about saying this. 

 

 

Russ