Re: [Lake] Protocol runs

Göran Selander <goran.selander@ericsson.com> Wed, 08 February 2023 16:50 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 2F9D0C151719 for <lake@ietfa.amsl.com>; Wed, 8 Feb 2023 08:50:31 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.098
X-Spam-Level:
X-Spam-Status: No, score=-7.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_DNSWL_HI=-5, 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 Xa-3804EJP3G for <lake@ietfa.amsl.com>; Wed, 8 Feb 2023 08:50:27 -0800 (PST)
Received: from EUR04-DB3-obe.outbound.protection.outlook.com (mail-db3eur04on0615.outbound.protection.outlook.com [IPv6:2a01:111:f400:fe0c::615]) (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 F30E6C15170B for <lake@ietf.org>; Wed, 8 Feb 2023 08:50:26 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=L7CZXbZhA46O01LAvTxnYRA99NIB6i8IHnsveEjNqbpGbESCvlKBG0vTu+t/vUAbPjN5pDXjcKCi0Bux9qqGHaa7vWyDB1Jq9fgCwvj7YF1CGxDnIMafie9j0R7Twvr4uDpdpexo3BZ8AcO/krRMnsI8+rDdnceDLvjOUAusGfCzq3wYpBRyuYlxtLKa6X/n+7F8dUv827psiWcF/6RapqCgnoQtGxqInas9Msh2lcwNAd9C+5SdKVncr9fFrY41tAS9TCtV5B5QXFuJv+FaCLtNkTmbrk8hURRxUlcea5TcyMwNIAL4P0GQ4PDzL1jKVI9tD3HPO5cc/axCFG6aMA==
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=RVDhEhFlETrVmeeQSFT8QuT0agpL0tiGhN1P+vLTg6c=; b=Sh6b6RwoSlsQUaFrZGjea5XwjRZP3Yc9xj8YsWu5GAOhZdq+QQTu+HuVr4LAaQRfuM9HL4o57V0VUUbpSyaBSsl3GGclT9C3sn7rhFlMP8H2aufRzwek3Fx8jVpwybSJK1IS71+jGlq24TTwZn+HnCQvX97fo2j+TW0o+v86pByV1JHbFd4VFtNIAOVY3yWDRFCaEmX+JSUtRMlgPZeZjjEWIt7d3nFIxD7o12PG+dNl1CFb2Mhv+ntandAWIKCsj2PxsB/irPO+HAQ0czq0SWdO1qYBgCyBksEKw+i+5cZoExd224h0tNH8poaQmxvNnc1C3tKkUSmtL0MrGCTsFA==
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=RVDhEhFlETrVmeeQSFT8QuT0agpL0tiGhN1P+vLTg6c=; b=cmchLJTXVuBNwJX5fz36aHhpXEFu4d51lGoqh+bc432jh+p4r4fGI6BdFEbaFNI6DCG8O3AwDYfojYgrvicc+XJFH55yq1Lw+RizGXpY2Z7eFqhwmM0e1lx3DgGZGkCAoVa1P1yeJPeuL2uvg6s7PPWr1t2u9SD/Vf98RcbCuQE=
Received: from PAXPR07MB8844.eurprd07.prod.outlook.com (2603:10a6:102:24a::19) by PA4PR07MB8670.eurprd07.prod.outlook.com (2603:10a6:102:260::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6086.17; Wed, 8 Feb 2023 16:50: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%5]) with mapi id 15.20.6064.028; Wed, 8 Feb 2023 16:50:22 +0000
From: Göran Selander <goran.selander@ericsson.com>
To: Carsten Bormann <cabo@tzi.org>
CC: "lake@ietf.org" <lake@ietf.org>
Thread-Topic: [Lake] Protocol runs
Thread-Index: AQHZOx2hfNxASvGvaEqKWw479nRZNa7DxwoAgAFX0gCAACCXxA==
Date: Wed, 08 Feb 2023 16:50:22 +0000
Message-ID: <PAXPR07MB8844FE6A3F73472775E1A70FF4D89@PAXPR07MB8844.eurprd07.prod.outlook.com>
References: <2540B21E-82C6-49CD-B853-5DC76E11FEA1@tzi.org> <PAXPR07MB884478AA2A540044A7CF3BAAF4DB9@PAXPR07MB8844.eurprd07.prod.outlook.com> <697E9121-97BA-4B51-AEDB-8242CB13EAA7@tzi.org>
In-Reply-To: <697E9121-97BA-4B51-AEDB-8242CB13EAA7@tzi.org>
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: PAXPR07MB8844:EE_|PA4PR07MB8670:EE_
x-ms-office365-filtering-correlation-id: 94412e30-2855-4769-209e-08db09f491c8
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: ru2qMseNQ/DwcEYRTqz1RlueRQGkM7QkAC4fL+Rn2aLgQPTcZLr1naBWXwVFK5lnBeWC75yYSOUQv4v6Tp3lnzsxbPF+kGGxNqp8b5FZxLTeTcaIkpu5xqjr+vTdL2tgr6hK/p9k3op/sPszTXFQ+oXIDxfGtntXlJavKCTOG3uRbueTqx1HjxOBvqKkZZ2awVPlKU2LQW9jC+Hb6+jJsMM74jFdSwyJUyTAHxhs3qLLMob3+Lp+R7nrqj0147vWBYsuDZe1b5FnHpFLW/6SXRnChbZZtekDSZdKtSiB01xrb55C5FcFB2qbZB1mKpXIT4GKhh5Ds/hyVdLzJFcB5weC2Ss5ZxBp40RU2PDn3k8Tds/6dCvq8dUmWnh1JyEd7pIhKdND72tEByLpnij2DkXydO9MO1ucrA+r24TLsX4/7WxvIEeVqg8fBGakkixWmlQBpdf5bcwj+7SojEgaIzMpSojamXAexaMnnntHHct8PcjhTGBmzf101ugGZIg7YD7j6laSS2G4cwn0wl/28WXQSUs+2H2IsVW6Xb/ONPRClXLphvsqO75lOz9crpFi2Lc5O8pk39Yxa+SxheZxkNxmi6BDYnzUcWlil9C0gPcY9vY01hIfFjIPvvvUdCdnzLSOsQoSM6S0gJkIbDWuJjBtBuSgI1aXKZSkJTeJifeHopvRx9DrFCX/gRZhXL+8th+g1JnYT5DUq3PYHJ8HtA==
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:(13230025)(4636009)(136003)(346002)(366004)(376002)(39860400002)(396003)(451199018)(122000001)(82960400001)(38100700002)(8936002)(186003)(26005)(5660300002)(9686003)(52536014)(71200400001)(38070700005)(41300700001)(33656002)(6506007)(4326008)(316002)(53546011)(6916009)(76116006)(8676002)(64756008)(91956017)(66946007)(66556008)(478600001)(86362001)(66476007)(66446008)(2906002)(7696005)(55016003)(83380400001); DIR:OUT; SFP:1101;
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: v9qJngNxKcjv6Ab++fyRkyuunCeavFH1bONpVtu2D5fpJlWtOSwnRYEPrTiwq+7/qYkE+LVi3Ut30NmY/87/BoR93vLlZQLBVyRb1602BKEe0Q/L2wLne5X2n1bdX479ZVn1pKSbfsiGJvTgFO591CcSpGf1H3YZ/zL7Y6Fm3zGC+642BgsSqRJkVV2AKGevNPzACUokSxZyLe1dfCEnRW5BBa95R91Sf3ySUapQbTGVskdXrq6HDQQetrmNTHz6ilaGotxnbS8Db0XfAuGb7yBcclP+ZqrcuBtQ60bJntR5zx1Gt0bfJI3LzcSzyvl88+V+22DViK11GIWkgpGiPGkQWazWTrEHx0QY0CZjRILZ5aifrnKuY3qTDdZHktJAISjcQxmAisSfhgpiSKifHZ/MeELeu4V+uC51jhhPEMMZ4ZK3OXsMsA+RTXW6lRhsrdim12XdplYwlUR0PBDsiXiVaDaTFA6CRIwzI1qkf8zdXWLmMJncYt9bUiaFd9mEqK12RRTJDyunweNyZxRLcs24nQe60evZZZj8x0x7zWSksz2DpfkHRNUj/gruKBFXJeP196TkH+yFpacTbPHaLhF1vRX+Jmv7JIsF01Pc5/p6v+zfiGp6LMYWPmhn0TM1vNNcrvTcvxdnSZNxQKn7RKduWHhchGJLJw+XkBVr3HYEL857atgM/2fSxkZO3E06s3Ub3LD61JZMteJYl81KqzvNZSqh9cdfa0dfuVtA8CXpuw2D/MoDF22SXkEjIBucJEj0/ot2njuLTNk/wPvBhSTncrcODgjj2W6cydMxYSfh1mN0GF+QNkIZhoNlpx9FIw5hB2zkG118R0B9nn5ITxKyqdDxzi9eoPiQTlXnDJ1smwAvKn85JbYUuHJufDl6pKVskyALfQhO0vGij/XrvpOvzuUcA3e9qHLa+pVXc3Zd0tRGguGTzlSbilUXr831Nd5R34rcaMIgDiVmczLm/6+F3pw9xL+1lId0OUyqudUeHTBnJKE7sbkjp87yi0ndiT6GLP3ujmln6SGOhlgl8GWMQYDx3L9ewbZfSY5XtlzM5mdayUzZXnuk093tqlkxp4naoC1hdWRsW5s30EIGkUSoZS61kMbY0vxNEoKtGF8wh9hlP5+MOQjrN6Vasz1lV9cIh3Skv2WEwP37XMNPwd5jLqzYcFjiCV1zWXHNQxhXUqA0G6Fedc6cPOQy1p0lcTkRFK1EA7wXHB3xfK7PaVqtMardo/DF4eJSRrDzWKPzhCURVuka9heuCZP3+w1sW02odWNFflcKN2od7DMn+3CuHavmYQnoh6hgQR5UaVxugz9Uf1TK/Mn3Ygg8PtgyVfY9nOMk8Cj4BtQrXVGZAYCoNFHE3cM3FGKwJn0/KCkFMLl0MzTfuJGIruzKs/gF9TaMdSS3MZwB5i7LQyAmDBt40ddZrCcEPO3pqVj5uPe1GIviIvj8PUq1geak6WLs5AmitmdNkgds3X9lejvtim3hZ2vKDBucbeGqhlc0jewI7a8TptQwf2DPXkjdg9grPQie5Uz3lXcqETAMRpvu3Yor2ck3u7x6t7XZqnnOHToYqQLmcOE13ULNTjxhoiv8Gvek7Qx3L5fyMrfbvANVB83jQSwupLy+dJyCfn4vOds=
Content-Type: multipart/alternative; boundary="_000_PAXPR07MB8844FE6A3F73472775E1A70FF4D89PAXPR07MB8844eurp_"
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: 94412e30-2855-4769-209e-08db09f491c8
X-MS-Exchange-CrossTenant-originalarrivaltime: 08 Feb 2023 16:50:22.5070 (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: SKZcAv4cESjccDVfRObFppQo8cIEH+vBaR9o9UOnmPQ32V5D5MI4ZNp/qCokXZklhdyvefe2gN6JJ/h+5MXXLHgj+ROszPdyRxLojwN24Ac=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PA4PR07MB8670
Archived-At: <https://mailarchive.ietf.org/arch/msg/lake/ABFwAdFGU-YG5PjB37nAUEVvs2w>
Subject: Re: [Lake] Protocol runs
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, 08 Feb 2023 16:50:31 -0000

From: Carsten Bormann <cabo@tzi.org>
Date: Wednesday, 8 February 2023 at 15:35
On 2023-02-08, at 10:06, Göran Selander <goran.selander@ericsson.com> wrote:
>
> The underlying transport in the recipient endpoint knows, either by means of other data fields, e.g. the CoAP Token received by a CoAP client, or else with the use of an explicit identifier prepended to the EDHOC message, see section 3.4.1 about message correlation:

OK.  So a broken exchange needs to be followed by one with a new connection identifier?
I’m not sure I understand how the initial dummy (CBOR »true«) connection identifier works when multiple restarts may be active.

[GS] What connection identifiers are used (incl. timeouts, recycling, etc.) is determined by the application. EDHOC only transports C_I in message_1 and C_R in message_2, for the *receiving* endpoint to use, for example by the transport to prepend to subsequent messages for correlation, as previously discussed. Since C_R is not known when message_1 is sent, an initial dummy CBOR `true` is used to indicate a new session.

Does it make sense?

Göran