Re: [TLS] WGLC for "Deprecating TLSv1.0 and TLSv1.1"

Töma Gavrichenkov <ximaera@gmail.com> Wed, 01 May 2019 00:35 UTC

Return-Path: <ximaera@gmail.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 6909F1201A9 for <tls@ietfa.amsl.com>; Tue, 30 Apr 2019 17:35:26 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2
X-Spam-Level:
X-Spam-Status: No, score=-2 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Mx4AVXVBKFlg for <tls@ietfa.amsl.com>; Tue, 30 Apr 2019 17:35:24 -0700 (PDT)
Received: from mail-yw1-xc41.google.com (mail-yw1-xc41.google.com [IPv6:2607:f8b0:4864:20::c41]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id CD97F120189 for <tls@ietf.org>; Tue, 30 Apr 2019 17:35:24 -0700 (PDT)
Received: by mail-yw1-xc41.google.com with SMTP id n188so4727969ywe.2 for <tls@ietf.org>; Tue, 30 Apr 2019 17:35:24 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=/kL1ielmH7uXMkHuFoB2+WS7CHDTbshix6YGbkf9/Xs=; b=BCVe/UW0JjPZntaBVDoKFpTdYSla55AuqJF7eVierX+k+YHYG9ox3r5FVQ0QBT4/Ln mTaLvJuUMCUCN13C+O4MbOU9nwJBH3M7LBII6fQWl37drjJNSHIGiU9FP+Of6qGdMbTJ 6NrJNJCuhCczM1ZY3NVqPWXqt65VRV8ItIsEZijFsGa/YOHRytLh28FeCTqZaELeuYkq rukKzEydiKBLxLen4Iv1Cq3MKotH6UNxRITm1MIXD8GpTfBkSLxqhvdhHBu8yPSPAcAb q2aCQ6x6ICPl8txdiYyaOV8n5Qw1k5IJs+N/8Yi/lAcOQizbzFyzEiiDnmyGig1udWsG iLig==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=/kL1ielmH7uXMkHuFoB2+WS7CHDTbshix6YGbkf9/Xs=; b=qHQwf3XHr1Er38sOFsAsj33LIK4m+TUxgxGcPTYHepUxIhp7+F4cNXRt4VaSWsELFk zmO5cHiaJouZt8o9zcoUxZjB3ojlAqsmWiU7e6YJVMp1WhO4Qnt/2df4Ro0DnaPw2sF+ 40/ZteoSskNc/6fzHxB5VVex4QM/JlTWgJhsS1TEVzDf1hS+ADWKzI/0rNjTjNT+fdBE +mfP4b9syCuxRXhnnZFC4/x/LiNIyBd7ZftKui3xV8nIz5LzTACM3XirLQzDvNPrTIwx ptV1h1OF/IpbaoaTe+lf0MS879YPXJUeD7quP2nV+juJ29Yv+hTGbOYv2U+DLQp9SoJY GmOg==
X-Gm-Message-State: APjAAAVUefnsNLAiRPx4nvMn6Xnh5Lk3Uo0LSIENreSuVPXKcYF0GW1X fh+0J4cEGS3LqbyZ+vDI7HqnbJpjBUjPjW+p3k0=
X-Google-Smtp-Source: APXvYqybJwESutfL2G0isAOW7fyRegraKkljLxx95dcnBM/abW1KT+ctlsBTR/9UJpOXhwYTgCtrx46NiTQjuDmCvhc=
X-Received: by 2002:a25:1f02:: with SMTP id f2mr59184882ybf.111.1556670923889; Tue, 30 Apr 2019 17:35:23 -0700 (PDT)
MIME-Version: 1.0
References: <28511b10-8f6a-4394-95a9-5188130f7b58@www.fastmail.com> <2EF7433E-DB94-497F-80D7-2A060097261B@dukhovni.org> <CADZyTkkJ63uq-Uukp00XAn+vFs6JtsNXF7stK=wbJpOvNBSs9g@mail.gmail.com> <5C3C015B-88B9-4502-861B-C59120B2F151@akamai.com> <D08B793B-3FE2-48A1-8ADD-C55C47300683@dukhovni.org> <7d37f7ca-e253-4c95-9cf7-2d16b0b6a0aa@www.fastmail.com> <20190430234952.21F5C404C@ld9781.wdf.sap.corp>
In-Reply-To: <20190430234952.21F5C404C@ld9781.wdf.sap.corp>
From: Töma Gavrichenkov <ximaera@gmail.com>
Date: Wed, 01 May 2019 03:35:00 +0300
Message-ID: <CALZ3u+b0MbO=3+WJYbfhR7n=W3WQJV=XqSXV7UXDT_YRN+ok3A@mail.gmail.com>
To: mrex@sap.com
Cc: Martin Thomson <mt@lowentropy.net>, "<tls@ietf.org>" <tls@ietf.org>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Archived-At: <https://mailarchive.ietf.org/arch/msg/tls/-LebiP0tsdxTB0JKET94xCIxHPs>
Subject: Re: [TLS] WGLC for "Deprecating TLSv1.0 and TLSv1.1"
X-BeenThere: tls@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
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: <https://mailarchive.ietf.org/arch/browse/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: Wed, 01 May 2019 00:35:27 -0000

On Wed, May 1, 2019 at 2:50 AM Martin Rex <mrex@sap.com> wrote:
> It is formally provable

Everything must be accounted for as provable until it's proved unless
it's proved to be false.

Do you possess an external (academic?) reference?

--
Töma