Re: [TLS] TLS1.2 vs TLS1.0

mrex@sap.com (Martin Rex) Thu, 23 May 2013 00:51 UTC

Return-Path: <mrex@sap.com>
X-Original-To: tls@ietfa.amsl.com
Delivered-To: tls@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 146AE21F92E7 for <tls@ietfa.amsl.com>; Wed, 22 May 2013 17:51:52 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -10.249
X-Spam-Level:
X-Spam-Status: No, score=-10.249 tagged_above=-999 required=5 tests=[AWL=0.000, BAYES_00=-2.599, HELO_EQ_DE=0.35, RCVD_IN_DNSWL_HI=-8]
Received: from mail.ietf.org ([12.22.58.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 6geroLwciH69 for <tls@ietfa.amsl.com>; Wed, 22 May 2013 17:51:47 -0700 (PDT)
Received: from smtpde02.sap-ag.de (smtpde02.sap-ag.de [155.56.68.140]) by ietfa.amsl.com (Postfix) with ESMTP id 8314021F92BB for <tls@ietf.org>; Wed, 22 May 2013 17:51:46 -0700 (PDT)
Received: from mail06.wdf.sap.corp by smtpde02.sap-ag.de (26) with ESMTP id r4N0pjbj000520 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Thu, 23 May 2013 02:51:45 +0200 (MEST)
In-Reply-To: <CABcZeBM+BpP8USk6MNMUp3NMYB8jgOcvB8+oKpQnte7AnFJAKQ@mail.gmail.com>
To: Eric Rescorla <ekr@rtfm.com>
Date: Thu, 23 May 2013 02:51:45 +0200
X-Mailer: ELM [version 2.4ME+ PL125 (25)]
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="US-ASCII"
Message-Id: <20130523005145.1C3DC1A76F@ld9781.wdf.sap.corp>
From: mrex@sap.com
X-SAP: out
Cc: "tls@ietf.org" <tls@ietf.org>
Subject: Re: [TLS] TLS1.2 vs TLS1.0
X-BeenThere: tls@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
Reply-To: mrex@sap.com
List-Id: "This is the mailing list for the Transport Layer Security working group of the IETF." <tls.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/tls>, <mailto:tls-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/tls>
List-Post: <mailto:tls@ietf.org>
List-Help: <mailto:tls-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/tls>, <mailto:tls-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 23 May 2013 00:51:52 -0000

Eric Rescorla wrote:
> Martin Rex <mrex@sap.com> wrote:
> >
> > Paterson, Kenny wrote:
> > >
> > > True. Though the spec for DTLS does allow DTLS implementations to
> > > terminate a connection in the event of errors.
> > >
> > > It's just that most (all?) implementations don't.
> >
> > Now that you mention it, I hadn't noticed that DTLS gives actual two
> > _different_ guidances (MAY abort on MAC error and MUST discard records
> > with MAC error are mutually exclusive)
> >
> > http://tools.ietf.org/html/rfc4347#section-4.1.2.1
> >
> >    4.1.2.1  MAC  (last paragraph):
> >
> >    In general, DTLS implementations SHOULD silently discard data with
> >    bad MACs.  If a DTLS implementation chooses to generate an alert when
> >    it receives a message with an invalid MAC, it MUST generate
> >    bad_record_mac alert with level fatal and terminate its connection
> >    state.
> >
> > http://tools.ietf.org/html/rfc4347#section-4.1.2.5
> >
> >    4.1.2.5  Anti-replay  (last paragraph):
> >
> >    If the received record falls within the window and is new, or if the
> >    packet is to the right of the window, then the receiver proceeds to
> >    MAC verification.  If the MAC validation fails, the receiver MUST
> >    discard the received record as invalid.  The receive window is
> >    updated only if the MAC verification succeeds.
> >
> 
> Hmm.... I'm not sure these are contradictory.
> 
> If you get a packet with a MAC error you MUST discard the packet (i.e.,
> not process it.) You may either *silently* discard it (i.e.., proceed as if
> you had not received it) or terminate the connection with an alert.

Silently discarding it     = proceed as if you had not received it

non-silently discarding it = log an error and proceed as if you had not
                             not received it

Terminating the connection with an alert means "processing it".

So yes, there is a contradiction.

-Martin