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

Stephen Farrell <stephen.farrell@cs.tcd.ie> Mon, 19 December 2022 21:08 UTC

Return-Path: <stephen.farrell@cs.tcd.ie>
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 3896EC1524D8 for <lake@ietfa.amsl.com>; Mon, 19 Dec 2022 13:08:10 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.99
X-Spam-Level:
X-Spam-Status: No, score=-1.99 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, NICE_REPLY_A=-0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, T_SPF_TEMPERROR=0.01, URIBL_DBL_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=cs.tcd.ie
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 cLdhSZvP6X32 for <lake@ietfa.amsl.com>; Mon, 19 Dec 2022 13:08:01 -0800 (PST)
Received: from EUR04-VI1-obe.outbound.protection.outlook.com (mail-vi1eur04on2092.outbound.protection.outlook.com [40.107.8.92]) (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 9EE73C15257E for <lake@ietf.org>; Mon, 19 Dec 2022 13:07:45 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=GxZ/he1i8GGL3eqCJnIdX9RBVMSm0VSHbIkHKV3ZwmEX94yHRR7n+nWKooy+4Adqvbursk013FeF89uQC7Xre1N3QMbApXcFMugl02pzCKZJW+XPrJUoo/9JcU620Kn0C4GsvnA3N8ru7W6kcUre7vU6vdXVzgBPaZNYzkx+U5aRdE3mW/T6ea/pzBBUc0b3NqfGU0U2EO030GTBx0pR8M86xKg0gJKgK4b1GWhvaViwcgQyTTii1xEZBDLs7Xhj3IdcSGp8oQvoizfmpoZCE+Lc2Y4CLhcwvx73me+JI+lhfN8oR8ibDnEUX8DIlYlQQElCZ0MJHYZMpnBmwT7MOg==
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=RZv/qwMdmU2cU0A332KEnZzoCZMbpkqc7Tn8WSw8BjY=; b=kBsWM0q3HARFviEOChemNNrVnWnCh9+Sf0Ul/8QeIIzG/PyyQdbqkdDM1qliaLqi7OSdZxtzoZQHi6KzWam/xA1d9kLTptncBgI/JsHUI4yEzTYOmI0DiH8azlrnooXedSLPtLHMIZrPIVhjFXBHasR6RqP1nbZzDxIfZnE5S+3SLy2j59+F1u5QwplmsqgHWNNYft2TvlkyqPORH7kl6G0DrqaqmQ0wGh+DywKSYpzvqqsR4o5lLXNP2tjskRe5JB0SOOjHeX7gTRH3ItI0SUILlPitUZ4/opq8c+r7+LdpweNclcjJowAjPBJD02N3IxLDBTr7+ZeFW+4NDkfHFQ==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.tcd.ie; dmarc=pass action=none header.from=cs.tcd.ie; dkim=pass header.d=cs.tcd.ie; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs.tcd.ie; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=RZv/qwMdmU2cU0A332KEnZzoCZMbpkqc7Tn8WSw8BjY=; b=gg4r1LPMR6rYFMjBxRkdJG+yBfRjRSIOpJyIJnT+eEhspxC8LbcxDRBdMXhB2syB59VAhfu08QqamOFECGVTj/gHGP58s3sarruOZeKbXDAiyhxoaEugTru2FPo+x483FAG4MPNipaEC2uMnzCNLBIfTzf0VMpCO6+bBlfMKFj005PnfyVg0v2t/GaDCM2SGaZbgOaINodonOuvIbJqEo5XRCylVYBjMFIyH9/a5EKB0MrsQGV7DytOszT//pzuZvjxdfbRa9dgeiTPxf/qzM85+6VpWRX2wJxNbHpKmgXpk3l3LG8cNw7vnLEwoOzvWLC3MHgxfmB1k9pplBT2xxA==
Authentication-Results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=cs.tcd.ie;
Received: from DB7PR02MB5113.eurprd02.prod.outlook.com (2603:10a6:10:77::15) by PR3PR02MB6089.eurprd02.prod.outlook.com (2603:10a6:102:6a::16) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5924.16; Mon, 19 Dec 2022 21:07:39 +0000
Received: from DB7PR02MB5113.eurprd02.prod.outlook.com ([fe80::1a3d:b78f:f41:afd4]) by DB7PR02MB5113.eurprd02.prod.outlook.com ([fe80::1a3d:b78f:f41:afd4%4]) with mapi id 15.20.5924.016; Mon, 19 Dec 2022 21:07:39 +0000
Message-ID: <85fd1423-1081-07cb-d50e-19cc015ca58c@cs.tcd.ie>
Date: Mon, 19 Dec 2022 21:07:37 +0000
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.4.2
To: Göran Selander <goran.selander@ericsson.com>, "lake@ietf.org" <lake@ietf.org>
References: <f390f969-fbfa-405e-7f60-5a7f5d401bcf@cs.tcd.ie> <PAXPR07MB88447DBA170213F733D4BEA9F4E59@PAXPR07MB8844.eurprd07.prod.outlook.com>
Content-Language: en-US
From: Stephen Farrell <stephen.farrell@cs.tcd.ie>
In-Reply-To: <PAXPR07MB88447DBA170213F733D4BEA9F4E59@PAXPR07MB8844.eurprd07.prod.outlook.com>
Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="------------VPIWy5EDCg0fPijXEUdLsIbb"
X-ClientProxiedBy: DB6PR0202CA0045.eurprd02.prod.outlook.com (2603:10a6:4:a5::31) To DB7PR02MB5113.eurprd02.prod.outlook.com (2603:10a6:10:77::15)
MIME-Version: 1.0
X-MS-Exchange-MessageSentRepresentingType: 1
X-MS-PublicTrafficType: Email
X-MS-TrafficTypeDiagnostic: DB7PR02MB5113:EE_|PR3PR02MB6089:EE_
X-MS-Office365-Filtering-Correlation-Id: 53374e8b-f96e-412a-f8e4-08dae2050fc5
X-MS-Exchange-SharedMailbox-RoutingAgent-Processed: True
X-TCD-Routed-via-EOP: Routed via EOP
X-TCD-ROUTED: Passed-Transport-Routing-Rules
X-MS-Exchange-SenderADCheck: 1
X-MS-Exchange-AntiSpam-Relay: 0
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: iX+8hthy3A81Jm1yy0Y3SXvY9R6Mrf2tzoWW7NsL4dMriNER5092aZvaSDhFWO5BrZrw6Kz8EbT0P2eCBoviN1VYXpONW5HfIlAvMFrrqJloGGHI7hg+RnGvln3XEPKiDLu6qxDfsfxqy+Gixxd9NanhiSfbECqqa3RXhcn6K2MVBbdGlpojjKZnePpzmgh3+ZJLF86SdFxBC15If+aHfcfQ2S7Luxqr3C9sGRFfoYIgekYFa+z9n58jHm6IxC2a1PJChR/yZHtWkNerQdq7EtDtjroYoeu6X5TAHa3HBqADl3+tGtfagByGU3SaUQSdYgr8sYy8cBaEcuQTgN2edwJrrxBd/NxX79wBlHsbUarSiu2yvq82P/jAUzb1mSMreDtDKYbpMMXfocBJH4Y7YWNfQM86DzOad3StSdZaFgzgeb4GD5vVG8uWYqNV9C9WuzgTy5zA5/+RLsTr0X3lR+CcDP82/N7Wfwyvl+cyKY4+reyBXsHet47y4MZFXNZfBPEn/MCzmvRTEglZ+jCLMwQ9ZwQl0McKqiKtvkPq2snU0i74VmJFNCO1KRZN2VfWnVB6dGO62n8afty766FMF4ovu1rCdb5I57Qbr7TKOqOfqZ1zJsEzMQd7XR8JF8tcYFlsbKJoYDb+U8WXEcumRCb+d6Kurb3609PCmInOACAGNfmaS4f7pD/vGssNA4pomMLLIXFr6Q2kDe0zd/CFCOX8TDtvuTjAJS+GvSKCiSI=
X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:DB7PR02MB5113.eurprd02.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230022)(4636009)(396003)(376002)(39860400002)(366004)(136003)(346002)(451199015)(66476007)(66556008)(31696002)(66946007)(86362001)(8676002)(316002)(786003)(5660300002)(36756003)(235185007)(8936002)(53546011)(2616005)(41300700001)(21480400003)(186003)(6506007)(33964004)(6512007)(41320700001)(66574015)(83380400001)(45080400002)(38100700002)(6486002)(478600001)(44832011)(110136005)(2906002)(31686004)(45980500001)(43740500002); DIR:OUT; SFP:1102;
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: 0PJpzyF7l5GtduhnkY5DWZwua69xTwpylKi6L5WvA5EFvMNOrRUD0AeG8mwxfhhFLPa8KYPfxIDx1PSxhROERRUOMHg1UuSVSiirvcGL6n8jrQPa5vcK8bD/tgSiiqMpmx9zRtsUB1tNFHeZZyoGmOQxvShV15eC2BMQoCUJEiDT1jQ9kajlcPFVflBcWFYepXyIuCEf8yUSN9JhYmglvMQbmwERGaZxJbpXCAMuQ6Qtr09awBcm1RnEqFOyMFiaFKSHq3sV3Io8KZbBw5Tt6sQAl1VzMl1+AZMTI/FTz0asTrizmWHQtWmituipnE6JZdGphiBZPhd0+OZSot/JmTQZ5WlxPY5LTwC631eU5MVzGbfrMF9NC49qOQ81M+wffbSOQGvDuSSI91qtVo/ipc8wCb5X+wj/Prr5P4nYeZ0Cf2gHgq1GeW1armbpsNp5nGkpAin0BqlwoLGqVqTDIJNvZSK9fidlixKz10T0toRJyOqs3WS/pC5O47KfYG7Tub+ZKHCUVwefNhsixmQ77bjvP9BtciYauJIZC66blZ5mZJ4tS+G7CXGgsw0sipPm1I99HcC4FMimegftAmDkU/DxDAigWcU4Ww1GwmqatgUA46IcV7As+6g5Ur01AmM54ixPytsofpLzHQisA5SbIw5KLgclOWEMDQvpprmgHv+zR6rOqELJ8BNDwl8xOiN/MaIpb7vjCKEojRk5YLs7avq9PJLK2Av5CExOIbh8URN7OG02o968jkmFl3Lf4UgqUX2UnrNvEEkrzD275VABqOgGdjGRri7ZuECNJeeoJAtdOYGGZZJNvusWMaxCidyXaPiYw2fg/UJeRbvdIfOPzfcU2B2FQ3O/MVo7KX7YK6r/NJ6nbv8RNXKY+CmAM6gPbfqiMwxaf8FOYStGKJp8q99cVpG1Kio+pWhAvYzAVT2SW+oA1aNXMR5iKHQJoRJ1kTEoSSh0C5eP8ccKm51UHDyTMbFCwv2bC9GyaN54/MWgNoaJRHMcz+v30qWGhc0mivV/qCPjh+ttQeaYg3J00A5AVhVMIaZD8kJalIZdkcXyB/UlC5/FUeGORNBHDwHzgeFceRV3R+YMndtD7hi2goBYbzGWbepIBkJSTvzqsJXwElFAe8kNVY2AoSIxSQ4BBauKNegVkrrto2I5RYbZH59YFESF4BI2lQ1g7R7J8Ym4juj9gLuxBliUp1DImrqLeUx2brq/Lka3dbwqbxqs9eCGIWOWqZQG8yDh9nk9Tp1O7OYYaE6dwkJCJrEexGdXVz3XBthPu+mNF04cw4F9PdP3VXQ/GRWe4yppImXDMi8Zv3cCf49tuv4Fq+pZ6PZFVDHgkQINMNBeBhsG5sQKeRhzsdh0Cv7Wdbdh94hx7fBlwzEUHAljQnmD1Ko4Sa91cvoVugXAGPTWkMUzoKrBUynBqhro2LMG5H/Dr2Lh7yb+hRZleKrLT07seT1pGv0eIHFIibJtPdsD3L6iXJXGEnZ+ZdM0sdxAuHZpj/S0NeXQWjlujoeMW21BLt2xzWu6e8r5WjdmT6zj/koy5IzW76rYS4e8zdwlVcEBhmACwNuShQ0Ldi3UE4HatwCSfSUfjVXs7bM8TqVWEF3tSTqOYQ25VQZ8vZwCVOzP6e86NaPh+IHYkUrwOkXoNmNHXOOt
X-OriginatorOrg: cs.tcd.ie
X-MS-Exchange-CrossTenant-Network-Message-Id: 53374e8b-f96e-412a-f8e4-08dae2050fc5
X-MS-Exchange-CrossTenant-AuthSource: DB7PR02MB5113.eurprd02.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 19 Dec 2022 21:07:39.6973 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: d595be8d-b306-45f4-8064-9e5b82fbe52b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: kshKjdZBY3HDzOU3uTHVuojb71quknC/WUzQNXwKdj2/49i0nDyAT+fjkRt9dyjQ
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PR3PR02MB6089
Archived-At: <https://mailarchive.ietf.org/arch/msg/lake/3OUtmmU1bLmy5y6vnDOa5AXcWNc>
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: Mon, 19 Dec 2022 21:08:10 -0000

Hiya,

On 19/12/2022 19:45, Göran Selander wrote:
> In the github master branch there is now an Appendix K ”Example
> Protocol State Machine”. People reviewing it so far thinks it looks
> good. So the new working assumption is that we keep it in, unless
> there are any objections

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.

(Separately, we ought not pop out a new draft unless our
AD is ok with that, but that's a different issue.)

> We would like to confirm this. Please
> review and comment:

Yes, please do comment on this.

Cheers,
S.