IETF Logo Mail Archive

Re: Consensus Calls for Transport/TLS issues, post-Cupertino

"Martin Thomson" <mt@lowentropy.net> Wed, 30 October 2019 06:52 UTC

Return-Path: <mt@lowentropy.net>
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 3155B1200B1 for <quic@ietfa.amsl.com>; Tue, 29 Oct 2019 23:52:10 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.701
X-Spam-Level:
X-Spam-Status: No, score=-2.701 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=lowentropy.net header.b=OBOU3XE9; dkim=pass (2048-bit key) header.d=messagingengine.com header.b=hGZPOj+a
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 GBfjwSdiyDlS for <quic@ietfa.amsl.com>; Tue, 29 Oct 2019 23:52:08 -0700 (PDT)
Received: from wout3-smtp.messagingengine.com (wout3-smtp.messagingengine.com [64.147.123.19]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 831DA12008F for <quic@ietf.org>; Tue, 29 Oct 2019 23:52:08 -0700 (PDT)
Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.west.internal (Postfix) with ESMTP id E06813F4 for <quic@ietf.org>; Wed, 30 Oct 2019 02:52:07 -0400 (EDT)
Received: from imap2 ([10.202.2.52]) by compute1.internal (MEProxy); Wed, 30 Oct 2019 02:52:08 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lowentropy.net; h=mime-version:message-id:in-reply-to:references:date:from:to :subject:content-type; s=fm3; bh=2RlLuLPZ29tiF37fB0fklNQWfTEE3QU Eaj/g3bIuZk0=; b=OBOU3XE9+lATmkdvFosLF6WyCN9rWlo4kgPZELTXL78BZOI 6c6x7AB8dLhDCAViu11Y7GjBYO4RXnQ0XwjM+hLSp21R2Sv6bU07rKEi1VVUYZaS 4FDf9lN9RYBOtNp1LPeHOH7eIZz8myuVF/knfM1EMQa4P6PbIlyzudoA9ySKXpR2 vfJvb+Ut64elytk7MHWwFUUey2qpSqkYddKZABzPbcv41DqS/RZLYY7YA5cnGxGm PT+rb0PbfL82sD5YYQHGquGHsL49d6hLoqrSNf3bIwG7K8Z70vE+zmpOQBpQcH9z Ve+0XCnx+z693QTi9i5uZVh63me0ATG1vUa3IqQ==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm1; bh=2RlLuL PZ29tiF37fB0fklNQWfTEE3QUEaj/g3bIuZk0=; b=hGZPOj+a1tPgWEz6fvYTwJ OeM1L7OHM+VsykQCKw05CQkR+C2YBuSCtLqf45PUDUfDP4mC53As/48BGMTds6DL FL2cQWNq6DSbr1grqTMwPgwQNMTt+U895IY9ADeIlIRyUFJZrWVMJzWMLJJatV6d sxwumusZD/P33HkvLnh1KQHbmh7Mp371v6y3yRnOPbYR+TK/CeANRdWS5bonBeNH 2+s7yu+SdZEOXCMW8XU67oztFKYIFVJFCM6EexMU6PQgILjE9vpHGDQQQx/lC8D4 WGdfDfqk1a6LyQ+wjiZ6uFRV+Dqd3xyFMNjHivOoGsHTExmwVcqLMKpkw5dvkp0w ==
X-ME-Sender: <xms:FzO5XclUhv4dRlvEnHiSACTbeIEhx5bobOP35vMxDjb9RZTOi77DWw>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedufedruddtvddguddtvdcutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfgh necuuegrihhlohhuthemuceftddtnecunecujfgurhepofgfggfkjghffffhvffutgesth dtredtreertdenucfhrhhomhepfdforghrthhinhcuvfhhohhmshhonhdfuceomhhtsehl ohifvghnthhrohhphidrnhgvtheqnecurfgrrhgrmhepmhgrihhlfhhrohhmpehmtheslh hofigvnhhtrhhophihrdhnvghtnecuvehluhhsthgvrhfuihiivgeptd
X-ME-Proxy: <xmx:FzO5XQGlzyegOw5HEEOeuE2evbArLTJ8uC6dVgRuICrd0mCrStLAuw> <xmx:FzO5XVoUPz5XlYjpDibNiuO6yYgMlLMtU9HEKVow-XOLC7uPxVehbg> <xmx:FzO5Xc6PGwuYnCibFjsL2wNy3cONU-5Un7tldoEI7Ax6n4ZNXFLRgA> <xmx:FzO5XStv4HUv1vwuyfrjItWC4F4db1DweaVQsOZQXJO-M3UShMFttQ>
Received: by mailuser.nyi.internal (Postfix, from userid 501) id 3C727E00A3; Wed, 30 Oct 2019 02:52:07 -0400 (EDT)
X-Mailer: MessagingEngine.com Webmail Interface
User-Agent: Cyrus-JMAP/3.1.7-509-ge3ec61c-fmstable-20191030v1
Mime-Version: 1.0
Message-Id: <d876c5be-b34c-4bf7-9c04-9fff0a201c73@www.fastmail.com>
In-Reply-To: <CACsn0cmXqOhtxVtvY9UHFf26EdXTagA7UjinEjokRsHN3tgYvg@mail.gmail.com>
References: <4D6397AF-B411-4E67-AFD2-76E8F2AD462C@mnot.net> <CANatvzwYA-NN+p5jLu4vpgKY_G-ZoUM03CacZWS2FAPyPqgiiw@mail.gmail.com> <BN3PR00MB0083E9A10A58F4CCC7B8A5C6B3680@BN3PR00MB0083.namprd00.prod.outlook.com> <22517ab5-9a6c-4486-b7ea-03badc064cbe@www.fastmail.com> <CANatvzx=RWB1Bio7tqX7nN_Vn1SfSaE69LZbuiU5pWeXP=BwNQ@mail.gmail.com> <DB6PR10MB176678E88FF226C2EB8FF78EAC680@DB6PR10MB1766.EURPRD10.PROD.OUTLOOK.COM> <CACpbDccOe01VBjwwy=mdSi5nync8bXa506OMTbLPpBH-hoj4Sw@mail.gmail.com> <CAPDSy+4S06qHBbitdH07Ah6gJYV+ZMY4huYLVGw14Q-n6isCrg@mail.gmail.com> <BN6PR2201MB17008576E4F8400B5DDB696FDA6B0@BN6PR2201MB1700.namprd22.prod.outlook.com> <CACpbDcf+n47NXh8XMEKx6n1fiJPZ+WyuivNmuBy1vKhZYZe6Uw@mail.gmail.com> <CAM4esxQYyTQPpF13v0AT4R=TcFOa9=UCn0nWsiqwMReYFOYDYg@mail.gmail.com> <CABcZeBM2QGC+wx-UUKMkJDqxKscOgJfhqwPhr7QXg3h-GpZwfQ@mail.gmail.com> <4d408d7a-7c50-4ccc-a42b-fb2b71b0c507@www.fastmail.com> <CABcZeBMdQPMeu862uizQYKr451Y9mvwhZ4MT7h_te5ho_Y9DOQ@mail.gmail.com> <98b890c7-d57f-484c-88d5-056e4e607465@www.fastmail.com> <CABcZeBP4BwBsySd8Phhg3fd3kTMoS6E=j5tit3pg7JKe7vrb6Q@mail.gmail.com> <1e5ae15f-56cf-47c5-930a-9f5bae59763b@www.fastmail.com> <CACsn0cmXqOhtxVtvY9UHFf26EdXTagA7UjinEjokRsHN3tgYvg@mail.gmail.com>
Date: Wed, 30 Oct 2019 17:51:49 +1100
From: Martin Thomson <mt@lowentropy.net>
To: quic@ietf.org
Subject: Re: Consensus Calls for Transport/TLS issues, post-Cupertino
Content-Type: text/plain
Archived-At: <https://mailarchive.ietf.org/arch/msg/quic/UcQCyDC7tfhvwBefGn-pxWDyYIM>
X-BeenThere: quic@ietf.org
X-Mailman-Version: 2.1.29
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, 30 Oct 2019 06:52:10 -0000

On Wed, Oct 30, 2019, at 16:08, Watson Ladd wrote:
> Maybe it's worth writing down the state machine formally and trying to
> use a model checker to show that there are no deadlocking pathways.
> It's certainly confusing enough for me to have no idea.

You aren't the first one to point this out.  I think that the primary concern was lack of time and probably also lack of expertise.  There are people looking into finding/funding work on validation of our handshake.

v2.23.0 | Report a Bug | By Email