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

Carsten Bormann <cabo@tzi.org> Fri, 30 July 2021 13:06 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 837363A2995; Fri, 30 Jul 2021 06:06:24 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.898
X-Spam-Level:
X-Spam-Status: No, score=-1.898 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_BLOCKED=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 HQPibeI8l8UV; Fri, 30 Jul 2021 06:06:19 -0700 (PDT)
Received: from gabriel-smtp.zfn.uni-bremen.de (gabriel-smtp.zfn.uni-bremen.de [IPv6:2001:638:708:32::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 7CEC43A2994; Fri, 30 Jul 2021 06:06:19 -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 4Gbnhn4tVsz31QN; Fri, 30 Jul 2021 15:06:17 +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: <F0AE0543-99BF-4106-BA02-B873350582B7@tzi.org>
Date: Fri, 30 Jul 2021 15:06:17 +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: 649343177.278625-db9a4a115079cceffc2b65d68d9a3717
Content-Transfer-Encoding: quoted-printable
Message-Id: <E4AE596F-D2DC-4382-9010-6C46FD131732@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>
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/Zxa8uh5-vBswfcX67ISEJSxgmHE>
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:06:25 -0000

Oh, and here is a readable version (without line wraps that break the syntax, without the inexplicable double-spacing, and without additional indentation):

https://tzi.de/~cabo/bpv7.cddl

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
>