Re: Working Group Last Call: QUIC Invariants

Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com> Wed, 21 March 2018 14:16 UTC

Return-Path: <mikkelfj@gmail.com>
X-Original-To: quic@ietfa.amsl.com
Delivered-To: quic@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 1CC9A1271FD for <quic@ietfa.amsl.com>; Wed, 21 Mar 2018 07:16:07 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.697
X-Spam-Level:
X-Spam-Status: No, score=-2.697 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, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_PASS=-0.001, UNPARSEABLE_RELAY=0.001, URIBL_BLOCKED=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 F4ANfDLPDyO7 for <quic@ietfa.amsl.com>; Wed, 21 Mar 2018 07:16:05 -0700 (PDT)
Received: from mail-io0-x22d.google.com (mail-io0-x22d.google.com [IPv6:2607:f8b0:4001:c06::22d]) (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 A770012DA29 for <quic@ietf.org>; Wed, 21 Mar 2018 07:16:05 -0700 (PDT)
Received: by mail-io0-x22d.google.com with SMTP id y128so6826221iod.4 for <quic@ietf.org>; Wed, 21 Mar 2018 07:16:05 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:in-reply-to:references:mime-version:date:message-id:subject:to :cc; bh=JKnQj02r3/gH3ZVL6pBDx4Jt/jbTNw1oL/OkVYgAIZ0=; b=ovh3oxRXKB7/B/ITnSi9hVwcTGeGkwIH17FZGI+fDkTQGIzl92eUSBTmmgO/tD0ONJ Kcm+Va24TzwnBp855gOetSaPpJxJJNRJAjeL9sNOB2Kol49JeQqpzGO0TcQOQY6txxr+ Cldj0zxV7GmUkfBuPeW75JhYfYmmzB8UY/MLdFQR6q7IN+HjyCqhUrvFC2enm+TPlHRZ +rJxM2Zw28KmzKpZC+dVsm394uL94hoYoIQvOBxCf3NnBmBH7UkR8wZwlKNl29I9XUCT GG2BPqu0VltXu72hEUmEB6baLlmMIgXsjk7wVEogOTxgHLwF8AeGkxqFux+XF4npqaZj MQ7A==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:in-reply-to:references:mime-version:date :message-id:subject:to:cc; bh=JKnQj02r3/gH3ZVL6pBDx4Jt/jbTNw1oL/OkVYgAIZ0=; b=KzLfy7lJqvS9Nz2TH46fxJylpikueIwL2wZ5I1QiHEHdHatZ6qin7ieZODNPxTZt3w v6tMz4EE2IxHqTshvynPsPJMLFyyH4BfhfYLaaSOt5NV4Id/suePFnMa0+OkaX+6C264 6hwPdlOi4DhDF+GugHuHzfn06r2gjHy9HMOstlGvr+hoemCaszupP0Pv2gYPQMCxoMDs kOWfPyA9xc7loj1k2YW20aZj63+iPJ9hBWQABfFP2tu8/UE3lGAZVbLY0ap7zTyxzgMa bp8eK/1/z2LdBaX/PV3/xFYsSP8oN/d1HJEM+n8cLLdeFqjLcfO1+i0sAbMDC6wGJzSY Z6+g==
X-Gm-Message-State: AElRT7HrnH8b2OemW65avi9wL9PgQAEXDrRcQUkaYSt9mVZJ1FarWXsr pUY2/xhLB9wjBGBAS3FQGKshtyVpta2i5Z2vojELVA==
X-Google-Smtp-Source: AG47ELuQfAg4qlU9QDQCdUAKnOFejWZM2MInTdxjDeu52O2WZMQxyMuA+gdAW43Szvze1aC6ckk127eV3EaISTt5E3g=
X-Received: by 10.107.212.7 with SMTP id l7mr20315083iog.70.1521641764714; Wed, 21 Mar 2018 07:16:04 -0700 (PDT)
Received: from 1058052472880 named unknown by gmailapi.google.com with HTTPREST; Wed, 21 Mar 2018 07:16:03 -0700
From: Mikkel Fahnøe Jørgensen <mikkelfj@gmail.com>
In-Reply-To: <ADF53A3A-447C-40D3-97F4-9943058CBB36@mnot.net>
References: <ADF53A3A-447C-40D3-97F4-9943058CBB36@mnot.net>
X-Mailer: Airmail (420)
MIME-Version: 1.0
Date: Wed, 21 Mar 2018 07:16:03 -0700
Message-ID: <CAN1APdeSnmvW5t9N7gvzN_qK2eYtnCnkcbaqYsshk-UEUznTCg@mail.gmail.com>
Subject: Re: Working Group Last Call: QUIC Invariants
To: IETF QUIC WG <quic@ietf.org>, Mark Nottingham <mnot@mnot.net>
Cc: Lars Eggert <lars@eggert.org>
Content-Type: multipart/alternative; boundary="f403043d0f88dc7b680567ecd455"
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/FdY1cWJeVtQIGVBeR8n68mpoqNk>
X-BeenThere: quic@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: Main mailing list of the IETF QUIC working group <quic.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/quic>, <mailto:quic-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/quic/>
List-Post: <mailto:quic@ietf.org>
List-Help: <mailto:quic-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/quic>, <mailto:quic-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 21 Mar 2018 14:16:07 -0000

I just added two related issues (I mentioned this on list earlier, but got
no reply)

One proposing to reserve space for future public signatures - this is to
provide early defence against man-on-the-side once public crypto gets
faster and cheaper.

https://github.com/quicwg/base-drafts/issues/1246

And a more general proposal that adds a version count field which would
also allow for public signatures, or other extensions later on.
https://github.com/quicwg/base-drafts/issues/1247


Kind Regards,
Mikkel Fahnøe Jørgensen


On 21 March 2018 at 14.41.52, Mark Nottingham (mnot@mnot.net) wrote:

In London, we continued discussion of the Invariants document, and
confirmed the plan to issue a WGLC on it now, with the understanding that
after WGLC closes we will "park" the document until the rest of the
document set is ready for publication.

The purpose of doing so is to give a high level of confidence that the
invariants will not change, while leaving the possibility of changes open
if we find *strong* reasons to do so -- i.e., the bar for introducing
changes to the Invariants will be much higher after WGLC.

Please have a look at the document and raise any issues on the issues list
or on this e-mail list:
https://tools.ietf.org/html/draft-ietf-quic-invariants-01

WGLC will end on 11 April 2018.

Regards,

Mark and Lars, WG Chairs