Re: [Cbor] Review of draft-bormann-cbor-cddl-control-00

Carsten Bormann <cabo@tzi.org> Wed, 17 June 2020 01:09 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 8765C3A0D72; Tue, 16 Jun 2020 18:09:55 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.897
X-Spam-Level:
X-Spam-Status: No, score=-1.897 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, 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 3izhfQKPWEh8; Tue, 16 Jun 2020 18:09:53 -0700 (PDT)
Received: from gabriel-vm-2.zfn.uni-bremen.de (gabriel-vm-2.zfn.uni-bremen.de [134.102.50.17]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 2E6DD3A0D46; Tue, 16 Jun 2020 18:09:48 -0700 (PDT)
Received: from [192.168.217.116] (p5089ae91.dip0.t-ipconnect.de [80.137.174.145]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by gabriel-vm-2.zfn.uni-bremen.de (Postfix) with ESMTPSA id 49mn6L22FKzydL; Wed, 17 Jun 2020 03:09:46 +0200 (CEST)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.80.23.2.2\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <010101d64424$abeb6310$03c22930$@augustcellars.com>
Date: Wed, 17 Jun 2020 03:09:45 +0200
Cc: draft-bormann-cbor-cddl-control@ietf.org, cbor@ietf.org
X-Mao-Original-Outgoing-Id: 614048985.7906131-889ab39357ced50e1627d5df4370c5b2
Content-Transfer-Encoding: quoted-printable
Message-Id: <648B2C8B-5F4D-4550-95BB-593C5D3F74E7@tzi.org>
References: <010101d64424$abeb6310$03c22930$@augustcellars.com>
To: Jim Schaad <ietf@augustcellars.com>
X-Mailer: Apple Mail (2.3608.80.23.2.2)
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/SFLFtKYukqpe5-q80bjlic35_es>
Subject: Re: [Cbor] Review of draft-bormann-cbor-cddl-control-00
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: Wed, 17 Jun 2020 01:10:02 -0000

Hi Jim,

thank you for your fast review!

On 2020-06-16, at 23:25, Jim Schaad <ietf@augustcellars.com> wrote:
> 
> * 2.1 - para 3 - I think you can state this easier as "Target can controller
> MUST be strings.  The result of the operation has the type of the target.
> The concatenation is performed on the bytes in both strings."

Done, thanks.

> * 2.1 - para 3 - I just did a really fast search on CDDL and I am not sure
> that it states anyplace that strings are treated as UTF-8.  I think this is
> probably implicit but saying you are doing the concatenation on the bytes
> has the potential to cause a problem.

Added "If the target is a text string, the result of that concatenation MUST
be valid UTF-8."

> * 2.2 - para 2 - The rule for dealing w/ mixed floating point and integer is
> ambiguous.   This is not a good idea.  It would seem that an equally valid
> interpretation is to use ceiling rather than floor.

Fixed.

> * 3 - nit s/can directly be added/are added/

Done (is).

> * 3 - need to have some rules on the controls, targets and controller in
> terms of types. Can I use .abnf with a binary target and controller?  

I added some text:

> * 3 - I assume that there is an implicit rule that the ABNF must be
> validated and the CDDL is invalid if it is not valid.

Well, we never exactly specified what “valid” means for ABNF.
If you mean that a tool should throw an error upon encountering a controller string that is not “element CRLF *rule”.

> * 4 - I need a much more detailed explanation of what this control is
> supposed to be doing.  

I added one more way to further muddy the waters (but also adding explanation).

> * 4 - I find the following very hard to parse: Extensions that are known at
> the time this definition is known

Fixed (I think).

Thanks again; I have submitted the update as -01.

Grüße, Carsten