Re: [fdt] [Webtransport] Standards for protocol headers?

Carsten Bormann <cabo@tzi.org> Wed, 24 June 2020 04:56 UTC

Return-Path: <cabo@tzi.org>
X-Original-To: fdt@ietfa.amsl.com
Delivered-To: fdt@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id B79783A07E0 for <fdt@ietfa.amsl.com>; Tue, 23 Jun 2020 21:56:32 -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 F4vKNN55X5DM for <fdt@ietfa.amsl.com>; Tue, 23 Jun 2020 21:56:29 -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 769FC3A07DF for <fdt@ietf.org>; Tue, 23 Jun 2020 21:56:28 -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 49s9pf4N36zyXW; Wed, 24 Jun 2020 06:56:26 +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: <CANEdHmheJpCfr2m--punfu3Jyt0gKujYX-VqwvZPwsqmZWa0wg@mail.gmail.com>
Date: Wed, 24 Jun 2020 06:56:26 +0200
Cc: Marc Petit-Huguenin <petithug@acm.org>, fdt@ietf.org
X-Mao-Original-Outgoing-Id: 614667386.05109-8641b16f56ee3a88eaf393acea941735
Content-Transfer-Encoding: quoted-printable
Message-Id: <46324AE5-6FC9-4242-8666-F56E567C3692@tzi.org>
References: <CANEdHmhypZE01SHw--UgrpG1yuOU67cKXHv0Jbecyb7sJzYPZA@mail.gmail.com> <2804eb55-e79a-3383-9ebf-cd4f495b273a@petit-huguenin.org> <CANEdHmhPWwO-pO7D_biTQ1_b5oh3xCsdXEi7Urf8sXJQcvVVGw@mail.gmail.com> <ecabce9e-d09f-6ce1-cd17-dea1e793a4cf@acm.org> <CANEdHmiZVdx93Sj1xf6wKPhoBxWGTB9q_WbesJx5FJ26Q0Jzjg@mail.gmail.com> <9796F6C9-ABB9-4AD4-ADA0-A6E275DAE3EE@glasgow.ac.uk> <CAOdDvNoUphx62=a_SOsEfMpxn+Lf7u0yhd0-+s2XBBLwRyVnyA@mail.gmail.com> <CANEdHmgXFUB4B3Taf1hig8kuhxG1vS=SvweDho9mxvQVyvEZyQ@mail.gmail.com> <0b926794-5056-1dfc-645f-f5acde2498a0@acm.org> <1DED87CE-741E-4B59-B144-0C1CA3AE26C9@tzi.org> <CANEdHmgu6geJgAzH07h8o+Wmjyv=Dpfd4XzyykaKqTuYEGzBXQ@mail.gmail.com> <bc1ee8e2-03c4-c845-e505-5d1d12139d35@acm.org> <7F3766B3-23B7-4780-B6DC-E20158790B89@tzi.org> <CANEdHmheJpCfr2m--punfu3Jyt0gKujYX-VqwvZPwsqmZWa0wg@mail.gmail.com>
To: Scott Morgan <scott@adligo.com>
X-Mailer: Apple Mail (2.3608.80.23.2.2)
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/WEbzi7TDQueLtdKqJxbZQEBTvM0>
Subject: Re: [fdt] [Webtransport] Standards for protocol headers?
X-BeenThere: fdt@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Mailing list for the discussion of the use of formal description techniques in IETF documents <fdt.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/fdt>, <mailto:fdt-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/fdt/>
List-Post: <mailto:fdt@ietf.org>
List-Help: <mailto:fdt-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/fdt>, <mailto:fdt-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 24 Jun 2020 04:56:33 -0000

On 2020-06-24, at 04:27, Scott Morgan <scott@adligo.com> wrote:
> 
> Thoughts?

Well, you seem to want to invent another lexical syntax.

2020, we don’t do that any more.

For things that are text and need to be exchanged as text, JSON is the lexical syntax now.
Where you need more flexibility (e.g., include JPEG) and don’t have a need for the encoding to be text, use CBOR.

This turns the question “what is the lexical syntax” (something which you would express in ABNF) into the question “what is the structure of the data” (something that you express in CDDL).  For a theoretician, of course, both are syntaxes, but there is a lot of benefit in handling the lexical syntax with a known good software component (many bugs that turn into attack vectors are in parsers for lexical syntax).

[That doesn’t mean you cannot have fatal bugs in the component that handles the structure of the data — we have just reduced the attack surface a lot, and we can use an optimized component for the lexical work.]

This doesn’t mean there isn’t a place for highly refined encodings such as HDF5, or legacy structural encodings such as RIFF (underlying WAV etc.) or JPEG’s byte stuffing based delimiters.  There are even new legacy encodings of this kind being defined :-) (e.g., Extensible Binary Meta Language, draft-ietf-cellar-ebml).  But for 98 % of all new work, JSON and CBOR are it.

Grüße, Carsten