Re: [Cbor] CDDL check in draft-ietf-dtn-bpsec-default-sc-11

Carsten Bormann <cabo@tzi.org> Fri, 30 July 2021 13:16 UTC

Return-Path: <cabo@tzi.org>
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 3E72E3A29DD; Fri, 30 Jul 2021 06:16:46 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.896
X-Spam-Level:
X-Spam-Status: No, score=-1.896 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_BLOCKED=0.001, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
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 xcDIS5bTtryQ; Fri, 30 Jul 2021 06:16:41 -0700 (PDT)
Received: from gabriel-smtp.zfn.uni-bremen.de (gabriel-smtp.zfn.uni-bremen.de [134.102.50.15]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 509E73A29D8; Fri, 30 Jul 2021 06:16:41 -0700 (PDT)
Received: from [192.168.217.118] (p548dcc89.dip0.t-ipconnect.de [84.141.204.137]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by gabriel-smtp.zfn.uni-bremen.de (Postfix) with ESMTPSA id 4Gbnwk4nygz31TW; Fri, 30 Jul 2021 15:16:38 +0200 (CEST)
Content-Type: text/plain; charset=utf-8
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.7\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <E4AE596F-D2DC-4382-9010-6C46FD131732@tzi.org>
Date: Fri, 30 Jul 2021 15:16:38 +0200
Cc: "cbor@ietf.org" <cbor@ietf.org>, "draft-ietf-dtn-bpsec-default-sc@ietf.org" <draft-ietf-dtn-bpsec-default-sc@ietf.org>
X-Mao-Original-Outgoing-Id: 649343798.274766-b2ab8c5b82b9e8162b992c8b8a761482
Content-Transfer-Encoding: quoted-printable
Message-Id: <F32E859E-7B45-4C9D-9B80-D7ED4700528F@tzi.org>
References: <4F05132D-102A-4E81-A550-A381A6070EB9@ericsson.com> <D5B0C498-48E5-4A68-A2D0-D641922FC0EE@arm.com> <EEE08EE3-39C7-415C-8377-B880B2FE3A0B@ericsson.com> <F0AE0543-99BF-4106-BA02-B873350582B7@tzi.org> <E4AE596F-D2DC-4382-9010-6C46FD131732@tzi.org>
To: Thomas Fossati <Thomas.Fossati@arm.com>
X-Mailer: Apple Mail (2.3608.120.23.2.7)
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/276OV86mcXEHIuETX4Q8zTUkco4>
Subject: Re: [Cbor] CDDL check in draft-ietf-dtn-bpsec-default-sc-11
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: Fri, 30 Jul 2021 13:16:46 -0000

… and a combined version:

https://tzi.de/~cabo/bpsec-default-sc.cddl

I’m not such a great fan of the flag-bits construction (non-local structural dependencies), but in this case it probably works well enough.

CBOR WG: These cross-structural dependencies are a typical use case for co-occurrence constraints, so that the comments “present if…” can be put in in a machine-readable way.

Grüße, Carsten


> 
> Grüße, Carsten
> 
> 
>> On 2021-07-30, at 14:57, Carsten Bormann <cabo@tzi.org> wrote:
>> 
>> On 2021-07-29, at 19:29, Francesca Palombini wrote:
>>> 
>>> Thanks Thomas! Those are defined in https://datatracker.ietf.org/doc/html/draft-ietf-dtn-bpbis-31#appendix-B as the text introducing the text mentions.
>> 
>> Which makes me remember the cop-out weasel-word text in front of the appendix.
>> It’s great that we do have CDDL for BPv7, but I also think that standards-track documents should not only have formal definitions, but be committing to their formal definitions more.
>> 
>> (Not an actionable comment on this document, but something to keep in mind on the way forward.)
>> 
>> Grüße, Carsten
>> 
>