Re: [Cbor] draft-ietf-cbor-cddl-control-00 should add CDDL notation for CBOR Sequences

John Mattsson <john.mattsson@ericsson.com> Thu, 05 November 2020 14:54 UTC

Return-Path: <john.mattsson@ericsson.com>
X-Original-To: cbor@ietfa.amsl.com
Delivered-To: cbor@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 85C693A1302 for <cbor@ietfa.amsl.com>; Thu, 5 Nov 2020 06:54:15 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.102
X-Spam-Level:
X-Spam-Status: No, score=-2.102 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, RCVD_IN_MSPIKE_H2=-0.001, SPF_PASS=-0.001, URIBL_BLOCKED=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 ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id H6whType7yBf for <cbor@ietfa.amsl.com>; Thu, 5 Nov 2020 06:54:14 -0800 (PST)
Received: from EUR03-AM5-obe.outbound.protection.outlook.com (mail-eopbgr30054.outbound.protection.outlook.com [40.107.3.54]) (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 D229D3A127C for <cbor@ietf.org>; Thu, 5 Nov 2020 06:54:13 -0800 (PST)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Kczc1cOzSALr/iYlhcCsNKDq6B5iRWKQBmoCudAu2zA7NDsNFY2iIhKoMHxy+yEWHxY+2yyG3JXP4mn7ZrTBTdVP3hrDhifwLEnLJobUvOTPukfv2pTZ5oDCP+cxENDP0v3jqfoCu9/yOgY9b4fypT/s2/ylVJoLGNR0h+6uY3ryxjnGORMrHxdvLY15wxLDhGF4Hso/t2GQZGBkumSBVK11tInMF3fVUCH4tT/byJZsMANhNw/It08G9KoSTQ3DFtLeYfdt4mqecWBfchyGmCZ9aseFEuYTbhvTBow2ms2KQgVkHpOSbqgmnMj8xm/xWki5gB74Nkgjr2cV2AGp9Q==
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-SenderADCheck; bh=ry+3/AVv7Dma4zTgtIaTixL6bOWlDfDX8IM4UyiHLJ4=; b=ebMIYFTv0dF2mXrwW8m6oWj6K9juyfbV5G7MGR0N5HsOZMwTCvvBFN6RXQGYW2ilFFW7T3h7tVTCkYPvpJWyAkzzRGn9w7GSigJU5JID/LIKTh2T+LiKJk5F6MOizJbtKZ2jmqsop94k38g6jMkktkwXWBBF2NVIxSZW05CJPPjVtJG4mqaYr3ZyiRI9H4bd5t3pO3t8jLbdX0WFPpRFgiroTwZm3J6pUGfLIQ47CEI+Eo9FIC2mXfe9T5qEn+madNkKvS9b1oZC8W2gRg5gJWmnCuzG2JN/EZm76H/iArI514yjdSzQhvA2jDK7HojqL0+aE8fPzBjQ1aqRM2LgJA==
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=ry+3/AVv7Dma4zTgtIaTixL6bOWlDfDX8IM4UyiHLJ4=; b=cDAjPcaw042Vo+6QlXkgPnKzrZL96MKOv4FUDz4/ABSTlKqylyiEgPCI1nKM11OnbV8Sx36rbXufPVCqg+6APMCWgF7efQijQqXMaAU8RAhKvb7s/YWhabFWV1aaaxwg2D5p+Rk8xiR24sSAwTbP6/WhX7iUfijcAF8zc8bUYwU=
Received: from AM6PR07MB4584.eurprd07.prod.outlook.com (2603:10a6:20b:17::24) by AM5PR0701MB3026.eurprd07.prod.outlook.com (2603:10a6:203:4a::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3541.10; Thu, 5 Nov 2020 14:54:11 +0000
Received: from AM6PR07MB4584.eurprd07.prod.outlook.com ([fe80::951:a4c3:7f39:e39c]) by AM6PR07MB4584.eurprd07.prod.outlook.com ([fe80::951:a4c3:7f39:e39c%5]) with mapi id 15.20.3541.019; Thu, 5 Nov 2020 14:54:11 +0000
From: John Mattsson <john.mattsson@ericsson.com>
To: Henk Birkholz <henk.birkholz@sit.fraunhofer.de>, "cbor@ietf.org" <cbor@ietf.org>
Thread-Topic: [Cbor] draft-ietf-cbor-cddl-control-00 should add CDDL notation for CBOR Sequences
Thread-Index: AQHWs3IlKka0ymeJ+0erUQMYOdAYWam5mQIAgAAX5gA=
Date: Thu, 05 Nov 2020 14:54:11 +0000
Message-ID: <FCE40691-EC98-4A0C-9C3E-59F9018A15C8@ericsson.com>
References: <317AB3AB-B1E9-4AD9-911E-559D166E2788@ericsson.com> <d45672c4-b42c-fb0f-3ab5-0fcd7712f29b@sit.fraunhofer.de>
In-Reply-To: <d45672c4-b42c-fb0f-3ab5-0fcd7712f29b@sit.fraunhofer.de>
Accept-Language: en-US
Content-Language: en-GB
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
user-agent: Microsoft-MacOutlook/16.42.20101102
authentication-results: sit.fraunhofer.de; dkim=none (message not signed) header.d=none;sit.fraunhofer.de; dmarc=none action=none header.from=ericsson.com;
x-originating-ip: [81.225.97.222]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: 69208c21-79f6-47b7-3153-08d8819aa7c6
x-ms-traffictypediagnostic: AM5PR0701MB3026:
x-microsoft-antispam-prvs: <AM5PR0701MB3026BED480F0460F0B602D6289EE0@AM5PR0701MB3026.eurprd07.prod.outlook.com>
x-ms-oob-tlc-oobclassifiers: OLM:9508;
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: zH8fK1RmsEDYwq9iYqVHt1uF/7DXA5tPo8D6UDXJ70Mx+85hSn2GNZYZnNXt+VkoXdUnG4AnmTUJKBU43SBigsWqDkrvGFJ2xoofAyzRauS0yaDl6vbToT2Sf902umXvgi/Q8c7H+jlWJ4I6dcQMSSHDTR1fTDtt+Hi3Yn0TwpOma84Mj9eyy7f5vsF1PASn+NnQPSA7hVxU8VUL9jhoA7eY2KglGV+VlDn/BtTkOO1+B320dFtmgcwbJ9FZHWDI6l1j95/SiVeQdfHL0fwZNLVleNwnfaWwSHdpX85G5bqzbBwFJXvaSOQl9bNAlM1xAQLcVErFWMgr1qw/ULYErzyvChj8bOZ3kbpaAqCKEYyVeh8/J6FqaYL4Ppw9vtilPcmE8hJDrT896wyAaLdEFA==
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:AM6PR07MB4584.eurprd07.prod.outlook.com; PTR:; CAT:NONE; SFS:(4636009)(346002)(39860400002)(376002)(396003)(366004)(136003)(6512007)(53546011)(316002)(2616005)(186003)(83380400001)(2906002)(71200400001)(26005)(6506007)(6486002)(76116006)(66556008)(66446008)(66946007)(64756008)(86362001)(66476007)(33656002)(91956017)(5660300002)(478600001)(110136005)(966005)(36756003)(8936002)(44832011)(8676002); DIR:OUT; SFP:1101;
x-ms-exchange-antispam-messagedata: G0a7E+HwvoP6T4V7XJCkhxRc41MUFCM/PvWIwEDTpigidPpom5fl7eZ2NR6cNkfR05Yg5vka9+yYY6rpCranR/0ClVVwpe5GU7O0VZViCXmhHE0DlnDJ6FgTQh7xW0yn9mqOuOCyE2UX0+AtlOqR+miLLa9mxc593qzAWdNAXXBUM+szxW+0vsh2VFWo0lGQNN/CF7g/hof7cifGjt2HBZWuoMZqIrtN0W53uotQM1QjbAfSRpOunr7DbPdXHR3YTLMIsRH1HxSIdWbhQVKZryfcDkynlArTn9vS9Y/fUHInJIN4rwZE12JnI0uq/I9WarWBQWCX+TATY5ICwsXNvOoseIhWCT6qybf42bsILQlsyAZK2/KvhtoqSXmzvwQsFhZ/ItY2mKhAgorjUtVVak0+9YpO1h9EvnDWnjoJIfvDKHsx70GKqUMcr7KVzxKXxPBtbD3OrNyqaNz32hb//xV6wqqMPhfDNFD9DDsKovXyCKudUAcT3uHcyZDrx6WugoPQNiZhAzCAS+pmvYIPnCAITcPqttIjEjSJmAvg0nZuDN2ws2Gwygb8ZrYaUQrdm97SF8NJxk+Fz3NGGg7yRWv+G3FB9KCGyty81XB5KZQmE2U/Y9aycnk3t3jN5/xTRsbWyDKBXLa4ytD/EsP2bA==
x-ms-exchange-transport-forked: True
Content-Type: text/plain; charset="utf-8"
Content-ID: <F920E47C2B47444EAC70A33C0D3301A9@eurprd07.prod.outlook.com>
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-OriginatorOrg: ericsson.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: AM6PR07MB4584.eurprd07.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 69208c21-79f6-47b7-3153-08d8819aa7c6
X-MS-Exchange-CrossTenant-originalarrivaltime: 05 Nov 2020 14:54:11.1856 (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: JKwj4pPD9ng+QgYiqwBAjHhFoGR50sBusw19Z45JEObi1QQdcBVUh2jOV6UGm1QB5bANCQJyHz1Zc033d79JtjGHR4RgMw53yEmIa34gQoU=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM5PR0701MB3026
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/grQjMENPZSh_s-bt6RDOgGJldIw>
Subject: Re: [Cbor] draft-ietf-cbor-cddl-control-00 should add CDDL notation for CBOR Sequences
X-BeenThere: cbor@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Concise Binary Object Representation \(CBOR\)" <cbor.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/cbor>, <mailto:cbor-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cbor/>
List-Post: <mailto:cbor@ietf.org>
List-Help: <mailto:cbor-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/cbor>, <mailto:cbor-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 05 Nov 2020 14:54:16 -0000

Hi Henk,

To quote RFC 8764

1) "CBOR Sequences are already supported as contents of byte strings using the ".cborseq" control operator"
2) "CDDL does not provide for unadorned CBOR Sequences as a top-level subject of a specification"
 
All the document I cited do 2) not 1) .cborseq as currently specified is not a solution.

Cheers,
John

-----Original Message-----
From: Henk Birkholz <henk.birkholz@sit.fraunhofer.de>
Date: Thursday, 5 November 2020 at 15:29
To: John Mattsson <john.mattsson@ericsson.com>, "cbor@ietf.org" <cbor@ietf.org>
Subject: Re: [Cbor] draft-ietf-cbor-cddl-control-00 should add CDDL notation for CBOR Sequences

Hi John,

as the control for cborseq is introduced in:

> https://tools.ietf.org/html/rfc8610#section-3.8.4

and RFC8742 states that:

>    Currently, CDDL does not provide for unadorned CBOR Sequences as a
>    top-level subject of a specification.  For now, the suggestion is to
>    use an array for the top-level rule, as is used for the ".cborseq"
>    control operator, and add English text that explains that the
>    specification is really about a CBOR Sequence with the elements of
>    the array

it seems to me that you are asking for a specific CDDL notation that can 
represent a cborseq as a top-level subject. Why is using an array here 
not good enough in your case?

Viele Grüße,

Henk

On 05.11.20 13:49, John Mattsson wrote:
> Hi,
> 
> I the most important missing piece in RFC 8610 is the lack of CDDL for CBOR Sequences (RFC 8742) and I think draft-ietf-cbor-cddl-control would be a good place to add CDDL for that.
> 
> CBOR sequences has already been standardized in RFC 8742. CBOR sequences are used quite heavily in IETF documents such as RFC 8769, draft-ietf-6tisch-minimal-security, draft-ietf-lake-edhoc, draft-palombini-core-oscore-edhoc, draft-mattsson-cose-cbor-cert-compress, etc.
> 
> I don't understand all the complexities of CDDL formalism, but this seems like a quite easy thing to solve. I do not care exactly which notation is used, but could we please just agree on something and put in a draft.
> 
> The notation could be something like:
> 
> - reuse the CDDL notation for group ( ... )
> - reuse the Diagnostic Notation for CBOR sequences << ... >>
> - Some modification of the CDDL array notation ] ... [
> - Something looking like symbol swearing #$%@#$% ... #$%@#$%
> ...
> 
> Cheers,
> John
> 
> 
> 
> 
> 
> 
> 
> _______________________________________________
> CBOR mailing list
> CBOR@ietf.org
> https://www.ietf.org/mailman/listinfo/cbor
>