IETF Logo Mail Archive

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

Göran Selander <goran.selander@ericsson.com> Mon, 19 December 2022 19:45 UTC

Return-Path: <goran.selander@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 64DA1C152596 for <lake@ietfa.amsl.com>; Mon, 19 Dec 2022 11:45:47 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.099
X-Spam-Level:
X-Spam-Status: No, score=-7.099 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_DNSWL_HI=-5, RCVD_IN_MSPIKE_H2=-0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_PASS=-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 (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 2T--pFzsCz20 for <lake@ietfa.amsl.com>; Mon, 19 Dec 2022 11:45:43 -0800 (PST)
Received: from EUR02-DB5-obe.outbound.protection.outlook.com (mail-db5eur02on2057.outbound.protection.outlook.com [40.107.249.57]) (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 F1C31C14CF03 for <lake@ietf.org>; Mon, 19 Dec 2022 11:45:24 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=WteHL570QNPGHwW+dUO/U0pCV9S9zzjSnnAfgHubk39dGeV9xn79IgbhxZrOmCtueio/kymqsbmTcD1z3PO4W0J2swysDWKAkXAlxYTdykEfjty3IDDlbaG0viVXyKFTZVNEZrerlX54UzzsSBppEIXmP8ishwBZoN8Adj/I30e8Lg8FU+MxVIJngFmNNYBxfr9QbkM8ycOaRv8DmcPEejJ3PAJwxubHKRNa2/bLupgUjxmTSB+ITCx6nc0J+BoKJWhkzOWLOuk4pZl/1vJs/p2uAQ2N44g8Gj+vkCt4aNJsg2b/Q+PWvSkGsvRniWf6cGQ1jcq9G+xPJWZpSiI7eQ==
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=kRHCX24jtbVDXv874wQO48WRpMpDYJW1R/jZ6RakxD4=; b=DGlzGXz0PNh+mLWu/pK9gdSptVLL+8dBzlRV8QzsnX+5vIevv/WJWzGf5Uy+HFaNUlUlNyIwfK2ajKYjtPgcZq2AuSe3a1LU3zV6CnAedc4v5VH3/x/nv8nDgRTdA6eCpz/Ryfv6BRd09Rz3LJA4qJzFAIZcGwsqBdswbnnWMU0eeKhGrniutAwUjxQPsyCCNwLXMRER6aADDN4TQXeHpLfliUVnUUzvFAjI4xsS/buHGKSxxpE1vNSZwg+YyxEv1ZnvQdqPoo+6qSo8vnIMAkThbHJpGj1pX/qGSyzmRA6zbbZirmmRSzurColoSoWx3vXAaYV79KPES57q5oBu7g==
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=kRHCX24jtbVDXv874wQO48WRpMpDYJW1R/jZ6RakxD4=; b=U5Myamf8lcKWqqiCWoUyuyM+3C3nYFSF/8X/Uhm7FRUzlpxGnfaPixEltgiDmTEOr5Az7GkKoOqZIqJPegqybop0XoV6KpzJvn3XBtIvTjGBTmMjSEJpUjlTSHhFZlfeL9MiL3y4C0l3K8ZB3tsg1EsKZ9zobt1vS1B+DaEEZac=
Received: from PAXPR07MB8844.eurprd07.prod.outlook.com (2603:10a6:102:24a::19) by PAXPR07MB7744.eurprd07.prod.outlook.com (2603:10a6:102:15e::9) 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 19:45:22 +0000
Received: from PAXPR07MB8844.eurprd07.prod.outlook.com ([fe80::90a2:f0a6:8edc:153b]) by PAXPR07MB8844.eurprd07.prod.outlook.com ([fe80::90a2:f0a6:8edc:153b%3]) with mapi id 15.20.5924.016; Mon, 19 Dec 2022 19:45:22 +0000
From: Göran Selander <goran.selander@ericsson.com>
To: Stephen Farrell <stephen.farrell@cs.tcd.ie>, "lake@ietf.org" <lake@ietf.org>
Thread-Topic: EDHOC state machine (Was: [Lake] edhoc end game: detailed plan)
Thread-Index: AQHZE+JuC6E5b2W660WbRJYZes+6zA==
Date: Mon, 19 Dec 2022 19:45:22 +0000
Message-ID: <PAXPR07MB88447DBA170213F733D4BEA9F4E59@PAXPR07MB8844.eurprd07.prod.outlook.com>
References: <f390f969-fbfa-405e-7f60-5a7f5d401bcf@cs.tcd.ie>
In-Reply-To: <f390f969-fbfa-405e-7f60-5a7f5d401bcf@cs.tcd.ie>
Accept-Language: en-US
Content-Language: en-US
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: PAXPR07MB8844:EE_|PAXPR07MB7744:EE_
x-ms-office365-filtering-correlation-id: cb82a61a-a4b0-47d4-4839-08dae1f99134
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: oTtUK0dqOPE1Y33G/wXsocglYYO8GgiRHSVSUEAxd1Qkgyk4LuhIog/Vs6H5SeHuU/jlHP7j+FE7fsinNWxuKsIdu8aAEuYnfDhPqkTfH+HDNNlEZQSiRMGBNfdaqOijvvFaH7bamQB6OFo9fR6rxyFdxmiS2Mer5+Zn0QQQmARfyjXm2JX8k7Q+jBccqMTVclJjODP9qak0oPoEko9K9iqXoXC8y7K6J4jGy5aqejiYU6pJIs11BmG3DUuX+x0u5z0i3y1/pqP6UzsPpcYSVGDzk26wtaFi88BEGmCWxQQ/GCC/L73UeltxqtqpImO1IP/QBifu55A4SkPeMvoZARDD6EvQXm82XpS9I9wp8THzp/El0/aLHRHFOEopdrpdP2b97G0MdN6zuwVGiHFzjQXTEmOeXANbtCZwzTzgZNqV3pxYwOrVyGbpSQR27zvPkjL11LIQNU9QgQLhRq2m0CYw/67HcDZhmCi7puxjBYs5b6vZmdHMjfIw6H0iSRD7M3kPgVyJVnMRgmv9cML+6w0g1Qb8JpqdPGhpA1eLXKT+hRiAdjPhOW6AeZ9eqxpjkm1RSI/ZV4x2RoIfeFo9pgfYPbEua8uGLvuHTjYhGe9s7mkOhD+5K2zcOA06KhTP310lFsFQz25/qXKkYc1lB5is36a8iH9pb4U6KM4D2f6KpCYdOCqNc5/s63+Q3Px/uWDl1rgmL+/RmHHIgj2u28/w74C+//uF09lLncbcp+WCKzLRz5smeBzfPOjRHCdPFl6EwuAcmut76zCjLVsHVw==
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:PAXPR07MB8844.eurprd07.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230022)(4636009)(136003)(346002)(366004)(396003)(39860400002)(376002)(451199015)(66574015)(33656002)(8936002)(83380400001)(52536014)(296002)(26005)(55016003)(41300700001)(186003)(5660300002)(9686003)(2906002)(478600001)(166002)(966005)(110136005)(76116006)(91956017)(71200400001)(66946007)(82960400001)(66476007)(38070700005)(8676002)(122000001)(316002)(7696005)(66446008)(64756008)(66556008)(6506007)(38100700002)(86362001)(53546011); DIR:OUT; SFP:1101;
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: gQYyp3iai2shVu+0yjtS+YzqvXGEyu4iDKJZ0cHeCXSh6wt2ke5WRVXdyoRiaHiuyUW8tP9DmL4ANV1tnWH1jCPvnkfpXMxbS6U9wze11fuwa4CaCoL/tRNlyavbt1dEoNUCxzkccRFOGKpdTXHrTT+9Xn7Q/TT+jKF86i94Dh8DdtuCUt0iVHTKcbbWkgu5e52I3U5UYRaBM4IxtKBXugb317vkj867H6hbuHz9sYGyk+qZ45q1WKvn2VtFbPR3YviFUzHMUGPF09f7MlxMxr1nJj01E0mp4Lt6LwUGjkzB4XS5jtLz9exTQKpF1yZJSDlMeEQFAryHKoPnOzovWCm+bwO1MwQ9bRPWQrEAIrzLtqzOgWq0nSRP1nI7Ymk7zrqLRYJxr5eg7sE0at8xdZ0ClOd/UqkLeuJ7gy7irIak7yYYpWeC2lSZmZxBrCU4i7ksr7IdtBAtc61dKzGa3jAxUa+G301r0GSaPkqREppWzpEUkPp8hkvz6bL/MEEeyMI6RgQq/idIp6ep4KZcXe4qGCESK3KdvR47vmSrIsaShr1Onxb4KgibmraqXRKtACMb43hI9Fpo9TwXVl6sIx02rzTgbaiAri08MGQx0E3cQx9+hUkmXPINTVxE0qduUc5aEbA5xCul9fX2O8b3pDy2x5xWm3+U24SgJamX0bjSADyYkj5dFi+6Vqt305ADgHtqAflMQ6gTK0UjJfKxdwx+FSGOIGBs3eTU60qfXSOHIvqBHh7a8f9NFF891GyRIr63tvQMJtyGN2T7w6DNB1U2sWowJNf05A0hHnLI5IsNlmbMbqJI/KBxFcbM6LDx7BvJ4xwy3+T/cfIA08bI0fcylEj0PuOf7xmol0fabFoPlsf/+ncv606wnAcGbabSKuPB+ysssrRExOeoeSLmWYAUighUY6I2V1g29yIkmfkPVGNHBYzH0hB3XYIg1I97hS6xZ5E4SEMw9nm6hUJtVc6U4Ofp2jSfcUOYS7RunRUjIjlEsSN3+BS8eS2vbBuSy4gWWjOYIz2cwcEv0OfHZ4ETQWADeeCquVlEVcSSssVrvYZIxjIrzxe1NtaSKRmqhYqmAwH4PVr8P3jENlfnctPNH3ozOQnak66ggninOz0krpc0t9YMLjXOM0GmWkexBFJabi/d3JM/Y8hysZSzTTe8/Ba8n/I8Ge1lfQRnGRs3k2nHFOYT5QnKesmQXJB3EOK9c2DrjolRrJVRyeig1x6g0HmyCQRaDRRX3w5FqVOC8HccXsPMkUc8Axoz4WpqJS16ZfAa5VVYMWGpVZq0XoHjdqF58uOGQHarJnJ7op1YKlCU1cxkemGNNDWT/bl5sVyv7DrSJU9y0U/E2zKI9SxMAZSJg0FNnvVpqyTBRh6QDEROWLjHQjQqs7I4jR6oG5oQBJyyQnCN7kSM7MW3pN1y4qtvJTlE5vjYs9mQXgQF4zOA2V+r6uIyfwsB57XplAsPekQ3Qlemkse301JJAK+b+okNsA7PDPrBrsbbMP9yCey5xF31arnokb+F6d1GNnDFcXaaz1/LC8++w7LQfi9gxpBFfkdrLCqo3m0zmCmHONRCRpqeuOc8JDsoeQF+ScDYNi+po6/IK8jQkopySNAQIXLufK+BICCh5y50B/M=
Content-Type: multipart/alternative; boundary="_000_PAXPR07MB88447DBA170213F733D4BEA9F4E59PAXPR07MB8844eurp_"
MIME-Version: 1.0
X-OriginatorOrg: ericsson.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: PAXPR07MB8844.eurprd07.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: cb82a61a-a4b0-47d4-4839-08dae1f99134
X-MS-Exchange-CrossTenant-originalarrivaltime: 19 Dec 2022 19:45:22.5106 (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: LLThU5uCtK6RwSrPv0m2yrAf2OaRbl9EdyDnWGRCU2NCV+vFaIMZXycHA+cjGNcXFy4jO2SRy+/JoXyefc1muSH1/vAvZyOge1MGJUkWIVA=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PAXPR07MB7744
Archived-At: <https://mailarchive.ietf.org/arch/msg/lake/Itlegiw8Lrqb6wcq9ov-EsKDsVY>
Subject: [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 19:45:47 -0000

All,

A heads up about protocol state machine (see mail below).

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. We would like to confirm this. Please review and comment:

https://lake-wg.github.io/edhoc/draft-ietf-lake-edhoc.html#name-example-protocol-state-mach

The discussion leading up to this text is in [3].

Thanks
Göran

From: Lake <lake-bounces@ietf.org> on behalf of Stephen Farrell <stephen.farrell@cs.tcd.ie>
Date: Tuesday, 29 November 2022 at 22:45
To: lake@ietf.org <lake@ietf.org>
Subject: [Lake] edhoc end game: detailed plan

---

We also agreed at IETF 115 to give some people a chance to
propose a PR with a state machine description. We now have
that at [3] and need to decide to include it as an appendix
(so that'd go in a draft-19) or to leave that out for now
and maybe include it in another draft (such as [4]). The
sense of the WG I think was to include it if it's clearly
correct but leave it out for now if we're not sure. Let's
try decide that by the end of week, (before the end of
Dec 4th), so please say if you'd like that PR merged or not.
(If there's ambiguity that'd take a while to fix, I'd ask
you to consider suggesting we omit it rather than wait,
my reasoning for that being that if we wait, other stuff
will turn up that needs more discussing...;-)


[3] https://protect2.fireeye.com/v1/url?k=31323334-501d5122-313273af-454445555731-ad349abb2534e05d&q=1&e=37cf8062-404f-4c50-a3f5-d83d31d7f469&u=https%3A%2F%2Fgithub.com%2Flake-wg%2Fedhoc%2Fpull%2F373
[4] https://datatracker.ietf.org/doc/draft-ietf-lake-traces/

v2.23.0 | Report a Bug | By Email