Re: [Lake] EDHOC state machine (Was: edhoc end game: detailed plan)

John Mattsson <john.mattsson@ericsson.com> Wed, 04 January 2023 10:31 UTC

Return-Path: <john.mattsson@ericsson.com>
X-Original-To: lake@ietfa.amsl.com
Delivered-To: lake@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 23E6EC14CE2C for <lake@ietfa.amsl.com>; Wed, 4 Jan 2023 02:31:44 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.098
X-Spam-Level:
X-Spam-Status: No, score=-2.098 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, RCVD_IN_MSPIKE_H2=-0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=unavailable autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=ericsson.com
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 kxAxCfAv0Ncj for <lake@ietfa.amsl.com>; Wed, 4 Jan 2023 02:31:40 -0800 (PST)
Received: from EUR04-VI1-obe.outbound.protection.outlook.com (mail-vi1eur04on2073.outbound.protection.outlook.com [40.107.8.73]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 261C9C1524A5 for <lake@ietf.org>; Wed, 4 Jan 2023 02:31:39 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Wktbr4QDPlHX8dhA2o736SkS5Ol62csBxKRU155ceqCaq/8LnPRTgzQnSl6UOtRBuziVEyTkhS72uJtAJGJHVG5l7XUkDcJxV6bcYrMq/oDqXzVOcilNmyjUmQkYqBsd4AnYS8JapmB2+707vNYmmzaBspHtwlR8eFG/75G2i8MwtSpDBwks3mXEGqC531j4KHY8US5IJG670Tv5zL0NStcqtCx/tMuXbDF4eK5Q+iqbjJEQuVNssc4UFrrrGASKuZfHO4xSUxfw69O8B5GfJVBktQlQ/LGvyzHRw8OO4cxFDo1XqqSmeetE9Vc0jyFhl2b9fZcqAzxe3wYz141WNA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=A0IS3x15KdsKdrzq7PegJzktOEgjDO5Rf7EzXHsa8mI=; b=L8QSjk+7QMwpO9uaoLdqO3TE1eV1mln5Te1Bd8ZTiEwEupYIy5luHKJ+36v6TWI8ZYuHAq96alyiURnGIdFwV5NRxHvsI6WKu7GdWx0cL8OQcSLsY8UmU1B/ksDce/Q8G/OU058Mx57f5sLUL6l3flYMzo1xZnEYiYal3hJGCH7kSxFsULluDnSz3ctDVrv426L016Q5Uxe90s9o2u8tjfIUIsSIqqp5MbQLb8sdYlBPg8gfthwScl8buB4UEyzTilehE3rEZEUr04itWHLG2B4B7dSicmDt71siqcp7rHav4Z4RG7gLeunzJ+fF9yvnQC4YmknZzPTFgDqXZZ/Biw==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ericsson.com; dmarc=pass action=none header.from=ericsson.com; dkim=pass header.d=ericsson.com; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ericsson.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=A0IS3x15KdsKdrzq7PegJzktOEgjDO5Rf7EzXHsa8mI=; b=eyYDkEqlP7SDdnWnpXRP/FF+iOY1S+tbXYD8iHiI50u9TmnMEJ+7J8mArhRKbFAj8NyjyWVZ24Kfps0wIuP84eW4MOtOuvMhkJGwKS6FUxi0Wb78N4erqvbstaXyplC65AqI1NIdXMTcYQjBd+XyGvh+B1ArOhDFsFcmdPmZUpg=
Received: from HE1PR0701MB3050.eurprd07.prod.outlook.com (2603:10a6:3:4b::8) by VI1PR07MB6671.eurprd07.prod.outlook.com (2603:10a6:800:184::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5944.19; Wed, 4 Jan 2023 10:31:32 +0000
Received: from HE1PR0701MB3050.eurprd07.prod.outlook.com ([fe80::fc77:42d2:1bc6:ec49]) by HE1PR0701MB3050.eurprd07.prod.outlook.com ([fe80::fc77:42d2:1bc6:ec49%12]) with mapi id 15.20.5944.019; Wed, 4 Jan 2023 10:31:32 +0000
From: John Mattsson <john.mattsson@ericsson.com>
To: Göran Selander <goran.selander=40ericsson.com@dmarc.ietf.org>, Stephen Farrell <stephen.farrell@cs.tcd.ie>, "lake@ietf.org" <lake@ietf.org>
Thread-Topic: [Lake] EDHOC state machine (Was: edhoc end game: detailed plan)
Thread-Index: AQHZE+Kx403ZmYD5106lPIZCfg1IYa6OJk0N
Date: Wed, 04 Jan 2023 10:31:31 +0000
Message-ID: <HE1PR0701MB305034556CBC4EEE67FAE27089F59@HE1PR0701MB3050.eurprd07.prod.outlook.com>
References: <f390f969-fbfa-405e-7f60-5a7f5d401bcf@cs.tcd.ie> <PAXPR07MB88447DBA170213F733D4BEA9F4E59@PAXPR07MB8844.eurprd07.prod.outlook.com>
In-Reply-To: <PAXPR07MB88447DBA170213F733D4BEA9F4E59@PAXPR07MB8844.eurprd07.prod.outlook.com>
Accept-Language: en-US
Content-Language: en-GB
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=ericsson.com;
x-ms-publictraffictype: Email
x-ms-traffictypediagnostic: HE1PR0701MB3050:EE_|VI1PR07MB6671:EE_
x-ms-office365-filtering-correlation-id: 73d66ece-3073-402d-1cff-08daee3ed8db
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: T7mfZs4/7OHbjx2C58kSntLVwbBT0vHijVKnE+UUWsr/O4eIVaZO/8egBPa4HtcV1aEYAPH3UIWWkeCRxbqy3cGc+rNKaKDb0PJcvROGX+DxTUdKdYy8weixRIIuEcNOS3R5vj/QgZyyJVLqu2cUp8BVKGpBBnsbGDvwgHjkvckMI3+nS6J/7g9p5Xqka4PYL9MXiEYMh/m27ISWpEscAt6VBx0Wau3tjJ+Tzp33pqz3u+uXQqMfQb6KZlbibvzhCfnPt0Rq/Lq3Uaq+WhRBrcH7YUgDQOr+J5jY/16vcvXiXNjn5IBODOSI3GNBp0qsrSvpKRTnCmYocTO88wmTGXhOG5FDp/ZMvrfMmCnpMFtTDMoHHrgHi17OeORRlSq0QjRuoE2lfV4WLzcb3MjAzsSlsSpeHl/tHRgAogPot9teBIIJGbzOqcX4jtXTPlTc+Ho24rb+3WkifDjybf5v1ViDxkt1TQeJRdbKr4bvDJdcpWqrzThHQsY+wWa9QqbaegA9UTddJzoJjUpOa/4GfSnLr0cB08rYkpApc0zJm4NE4AvBd1rT6ypNXoRJRAJLJU99nDtSF0WrDyzBhjAlMu2nbM09ymSImSgs8BENxkVYe6kdJ3VnT2UBrUz42e+wWJt7pXoypeYNjN8w6WS7g16uvJUrARNMv/YoWqxBs0N5n+Tl6zARzrINqQekgjN866R43eJUN5/moNzxt5QJ3w==
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:HE1PR0701MB3050.eurprd07.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230022)(4636009)(396003)(346002)(366004)(136003)(39860400002)(376002)(451199015)(5660300002)(52536014)(2906002)(44832011)(4744005)(8936002)(41300700001)(478600001)(8676002)(316002)(66476007)(66946007)(76116006)(110136005)(66446008)(91956017)(64756008)(66556008)(71200400001)(9686003)(26005)(6506007)(33656002)(55016003)(7696005)(83380400001)(122000001)(82960400001)(186003)(38100700002)(86362001)(38070700005); DIR:OUT; SFP:1101;
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: QQktKyNwHvrCi4rUbE6G5qRyKU/ZqdR5orYcFEpQ8UOVmPEPGWEkhkdzKY1vYXvvT+3oglytbSQTwfZmfxxiN12Y2T6vHC/KQiebcjdem+KzdfCR93nECcHSgMWYRJ43u1s+awxZJmNdZt4R7y4TH7pzaVFoFDNgQrEAk4NFDKQkHNVT40ZKoTM6iXVRblYsQxz1/QO1BmFF/SE2UYhEF7NcscVabTvs1r1cNivUPKC9zF6adlX1LIp/TgiDojjmplHLKmcxnV7zsdMrtuv/wKSW6pXHDlIbAvGShYVgimjmC2TY4vi1x1K6XkZv4daf1cQCmRrJA/u9nIubYQZpi9LwYd42Ag9NY9UmSOckXwCgwiLwMfiTDATP/iIBW//6lwUyzSVxVkcE+SBdrGKFi8BNGoSM/Z3jg4K5JNvCw6qtF4vG/umatUJrsMuKIwxxMd50svQCE0vvYfsUyY/58TgUtzupT6SfZczTkbL1GysErzJ4K+T7IjIY2IPpTnZOhXEQFkmlN+citzilY0/qZcI+DwHCQuJ7Ggj/UiuoQ0eqNoGRmc9xDJXtK41OjBvWZ/zHd/VPLYzUQaeajBzMLlMbJ5SdxXbtuhh1xRyowvihtkFrVStLv8HUflnQBmZSBUGw6PZhvgzBcB4rLk5o9d00CTk/3m46TUBJ5RGk2Z+QI8tZZ8jxHmFpcSPpoBkyw62C67+FuHmwGfro1JmX/Dv9FC/dw5c/6n+XAYNt80LAyuVxDPNROyaGx1XvBZo5u5zmdOxaMFgT02APTj4cAfM2/sRIUx/uwazMfoloFiIcuzFH20wytqFoCVW7hCDc2sYFwEdJu0GJJkJSjftA7eAoa+0gTL4ez8fXfNjSqKMqn0ErEF7IHnRSEGr+oBToh6y0m81SL1apLALPQYRfz8TG3tW9TwvOipdVIwDAPLg+NkXgrrvwsRhXM0Bqeh7RDIK7mdLvjNcLhs5FjmHtcSwvJaHWE2uG2DLOvsBuVWzge2DO9fbAgqFd7zhSNUSOSLzzHfuIC5qyuF6aCZbx25SbcYCzA05r4HAlTwX7Ae886kzM4Z99GAE+Kckfwl1e3bfaHG78AdKiKiJflDyh5675vjRd5fDeeDb4EracyBEPVrAMWSkQ0NDR2NxJRzxPYzAXglu72JejpI4MQov+jaM4aX5G80nDwOD4ig6HzM0NGIKKRX6a0SY/TDGsUgY5Qxa8m+u/lXIhIAoTXoStlNyyjDoKxOlww/EKqRwgjHi4R4aNuiCJ+E2KQReIRc8Ma25RrrLBccmfgeidD0tsNE8VWy/61vbOh2FCqzD2pKCfi2rJNigqNHIH82xDuMoICV4ZJEymKT+a/7tzdpIYl8M7p40BM0EapwmjTzA/NtKuOm5c+9E9z1YSp8t5Ayh3D3WkgZOaG6XobjFRxRgRbbUZT7U67hCRTz4PkFV3sBcn/XA0rOdrXcapuRKwmaZco4/nnOK3gtqoDr3zCWX1z8XdfiXri1n7VfTbVuEvWabNL0sK2ecz4uhOoZMvT60uRsQh3t9sQbAbrgal/RhcJvLSN26K797Fe5M/DBkDq97wXiF8OUL3UOY+JMBjzAMir1kxrWeRDaO+qmIbBrBM2+jldMYFawBR5kPteEulYQE=
Content-Type: multipart/alternative; boundary="_000_HE1PR0701MB305034556CBC4EEE67FAE27089F59HE1PR0701MB3050_"
MIME-Version: 1.0
X-OriginatorOrg: ericsson.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: HE1PR0701MB3050.eurprd07.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 73d66ece-3073-402d-1cff-08daee3ed8db
X-MS-Exchange-CrossTenant-originalarrivaltime: 04 Jan 2023 10:31:31.9811 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 92e84ceb-fbfd-47ab-be52-080c6b87953f
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: LFVBbixN2/tezskgKnsmnIxsJgnpxwZ9tB43sg+IyV1B7N+ClX51F7DjKWSnkyQ/wexra2YiloeCAPT7/ojifXeGG4MnxUxGc/ejiiIciVY=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR07MB6671
Archived-At: <https://mailarchive.ietf.org/arch/msg/lake/3h0porDZ3LrYgI4TGmy3931Ezs0>
Subject: Re: [Lake] EDHOC state machine (Was: edhoc end game: detailed plan)
X-BeenThere: lake@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Lightweight Authenticated Key Exchange <lake.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/lake>, <mailto:lake-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/lake/>
List-Post: <mailto:lake@ietf.org>
List-Help: <mailto:lake-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/lake>, <mailto:lake-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 04 Jan 2023 10:31:44 -0000

Stephen wrote:

Ah. At this point, now that we've hit publication requested,
I think a change like this needs positive backing, given that
people expressed concerns about the possibility that state
machine text could lead to delays.

So I think the default position needs to remain that the
state machine text be omitted until we see sufficient
indication that the WG would like to include that.

I was one of the persons expressed concerns about the possibility that state machine text could lead to delays. After reading the current suggestion I don’t have these concerns anymore. The state machine seems quite simple and it is just an informative example. Three different developers has expressed (I think publically on GitHub but it might have been offline) that they think this is very useful. Given this I am personally positive to include it.

Cheers,
John