IETF Logo Mail Archive

Re: [arch-d] I-D Action: draft-iab-protocol-maintenance-08.txt

Martin Thomson <mt@lowentropy.net> Wed, 13 July 2022 12:52 UTC

Return-Path: <mt@lowentropy.net>
X-Original-To: architecture-discuss@ietfa.amsl.com
Delivered-To: architecture-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 4E4DCC15A73D for <architecture-discuss@ietfa.amsl.com>; Wed, 13 Jul 2022 05:52:51 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.106
X-Spam-Level:
X-Spam-Status: No, score=-2.106 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_BLOCKED=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=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=bVpWWFPY; dkim=pass (2048-bit key) header.d=messagingengine.com header.b=st4/+HZq
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 1ofRp8GxtxlF for <architecture-discuss@ietfa.amsl.com>; Wed, 13 Jul 2022 05:52:46 -0700 (PDT)
Received: from wout4-smtp.messagingengine.com (wout4-smtp.messagingengine.com [64.147.123.20]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id B61DDC14792A for <architecture-discuss@ietf.org>; Wed, 13 Jul 2022 05:52:46 -0700 (PDT)
Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.west.internal (Postfix) with ESMTP id CD55532002F9 for <architecture-discuss@ietf.org>; Wed, 13 Jul 2022 08:52:45 -0400 (EDT)
Received: from imap41 ([10.202.2.91]) by compute3.internal (MEProxy); Wed, 13 Jul 2022 08:52:45 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lowentropy.net; h=cc:content-transfer-encoding:content-type:date:date:from:from :in-reply-to:in-reply-to:message-id:mime-version:references :reply-to:sender:subject:subject:to:to; s=fm1; t=1657716765; x= 1657803165; bh=nn5JlDlGIz6uK8k2QvY9riOs8kGzD6rS89jy47KDvaI=; b=b VpWWFPYDwKAP72ChnLLey+Qa30cecA2o/MJE3H/Ueco3XuPGxsTk0JMQtZtDQpll yWF+8QLknIa+3m4tFJuAcJoez04gv27iFnC7M3F9cOn5afZnyiCsfjm6DuY6ktEE +qXDKuNYsFd/n0BW6LoVZaKFjJsZSbDRNXW0VtUexlvaXz3KoVg5xlpw8ZmTHJeo yTA3Ocrrad3vkwKxWv+jUicDnDdIquVcaqfvhtxCdymskNAZ6AJr2+O0iRaUn9Dh HLKtey5M6Tp0zTH7KBMyP+H+NPP7zD+T+7ZfElwBx0Ul7eU9OIKp6tRYeHB1fVUO QBHrg0Vd+NhaR8XegbDew==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:date:feedback-id:feedback-id:from:from:in-reply-to :in-reply-to:message-id:mime-version:references:reply-to:sender :subject:subject:to:to:x-me-proxy:x-me-proxy:x-me-sender :x-me-sender:x-sasl-enc; s=fm3; t=1657716765; x=1657803165; bh=n n5JlDlGIz6uK8k2QvY9riOs8kGzD6rS89jy47KDvaI=; b=st4/+HZq213SCRqPn R8G4Fw2WmCvPMq4fjlwVg0rhxkAu5FccNrLBK8BUUqX70u+KAffav8ZbFUvFLzaZ 4ApyfS2L2REjkRzjo2SSjS6opWbOsFyxJDDf8XzpJE8Plxqbrs0J8AuvCS+Hrqbe BGDVyJAea3NnHNdK1bbgXQB9FBUATJvJa9BV4f+qTSIBqzBTcW0qBtwvAJVuFiuu tWACv655I18Q+Sy83VEDHhpv6c8zYknjQL8CYdxC7d3c4UOsVEVsrH+7PU3FyY/t iX9bQ5IU6TINWnS54zfiapBbvEkxlWoqGSVx75LQ+4W+eUFSPZb27SoKWPFTGgFI 98epQ==
X-ME-Sender: <xms:HcDOYkae-LxtLYY6GcC9J0RJ7xix2Csj-eXMfw6UEnquyOyzhQWiGw> <xme:HcDOYvZjjLgyywnM0Kjfxln-naJKXutlSFs8E5v2CcOhbA1_yOY1_4HYCDwDYWw6b ascHZBBzsc5OLhALWc>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvfedrudejjedgheeiucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucenucfjughrpefofgggkfgjfhffhffvufgtgfesth hqredtreerjeenucfhrhhomhepfdforghrthhinhcuvfhhohhmshhonhdfuceomhhtsehl ohifvghnthhrohhphidrnhgvtheqnecuggftrfgrthhtvghrnhepueeghfeggeejgfejle euhfefvdffveegveeifeetveffveelgffgudeuueejledvnecuffhomhgrihhnpehmihht lhhsrdhorhhgnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehmrghilhhfrh homhepmhhtsehlohifvghnthhrohhphidrnhgvth
X-ME-Proxy: <xmx:HcDOYu_rvScx4yCieSpqKzOXjuedAUDaQxksTrZYxTdCqdjCCQxD4Q> <xmx:HcDOYuqaDZUO1P8iWO6gAFg2x629d06cmuW0YGdEPqr6LXyUAA5pqQ> <xmx:HcDOYvr19Kc0VSBV-NEoShTNZ7uk3gDMOze1O1UVl5jCSPWoVcjTgQ> <xmx:HcDOYs1LyKwm_qiWc5YyrDXpSJ6izLoyT8VPMsqjpLbK7ccauFl-xg>
Feedback-ID: ic129442d:Fastmail
Received: by mailuser.nyi.internal (Postfix, from userid 501) id 26226234007E; Wed, 13 Jul 2022 08:52:45 -0400 (EDT)
X-Mailer: MessagingEngine.com Webmail Interface
User-Agent: Cyrus-JMAP/3.7.0-alpha0-755-g3e1da8b93f-fm-20220708.002-g3e1da8b9
Mime-Version: 1.0
Message-Id: <c45c45b6-4fe7-4cb7-b596-ed8315e8f7e0@beta.fastmail.com>
In-Reply-To: <1A59B4B5-FA24-4AFD-91D5-14E620DD5E6E@strayalpha.com>
References: <a06000c5-939a-a896-9c0f-576e9e2ff97f@gmail.com> <D20FCDD6-3756-40E7-AD6A-416A2C464DF1@gmail.com> <dbee51f0-1913-af6e-de00-c3a7f5b77f68@gmail.com> <1A59B4B5-FA24-4AFD-91D5-14E620DD5E6E@strayalpha.com>
Date: Wed, 13 Jul 2022 22:52:24 +1000
From: Martin Thomson <mt@lowentropy.net>
To: architecture-discuss@ietf.org
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Archived-At: <https://mailarchive.ietf.org/arch/msg/architecture-discuss/XfjD73qpl9x9B8Mg4sxKu_Aayck>
Subject: Re: [arch-d] I-D Action: draft-iab-protocol-maintenance-08.txt
X-BeenThere: architecture-discuss@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: open discussion forum for long/wide-range architectural issues <architecture-discuss.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/architecture-discuss>, <mailto:architecture-discuss-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/architecture-discuss/>
List-Post: <mailto:architecture-discuss@ietf.org>
List-Help: <mailto:architecture-discuss-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/architecture-discuss>, <mailto:architecture-discuss-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 13 Jul 2022 12:52:51 -0000

On Wed, Jul 13, 2022, at 15:08, touch@strayalpha.com wrote:
> Additionally, there’s the difference between the state machine and the 
> implementation; the idea at one point was to generate both the state 
> machine and the protocol implementation from the same description, but 
> it never fully developed.

Like miTLS[1]?  That's a functional implementation based on a verified state machine.  It's not a practical implementation, but it comes pretty close.  There's a gap, sure, but it isn't as big as you might think.

[1] https://mitls.org/ (same folks as last time)

v2.23.0 | Report a Bug | By Email