Re: [fdt] [Cacao] Public Comment for CACAO Draft

Bret Jordan <bret.jordan@broadcom.com> Wed, 16 December 2020 02:43 UTC

Return-Path: <bret.jordan@broadcom.com>
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 122263A0B6C for <fdt@ietfa.amsl.com>; Tue, 15 Dec 2020 18:43:47 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.599
X-Spam-Level:
X-Spam-Status: No, score=-1.599 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, HTML_MESSAGE=0.001, PDS_BTC_ID=0.499, RCVD_IN_DNSWL_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=broadcom.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 0m9GelrhdH2L for <fdt@ietfa.amsl.com>; Tue, 15 Dec 2020 18:43:45 -0800 (PST)
Received: from mail-pj1-x102d.google.com (mail-pj1-x102d.google.com [IPv6:2607:f8b0:4864:20::102d]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 458113A0B6B for <fdt@ietf.org>; Tue, 15 Dec 2020 18:43:44 -0800 (PST)
Received: by mail-pj1-x102d.google.com with SMTP id j13so731722pjz.3 for <fdt@ietf.org>; Tue, 15 Dec 2020 18:43:44 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=broadcom.com; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=LbeVX42qDp8ZOUKYY2x0YPi6ijTkHe4p/8ep8IF7o8M=; b=dTxdpeZyyVT68b1o0wVGTVP1NnPM2I5APmkgOlUSGP/WLFnOWo7Sfm+px0rWLbWJrN Hc9noKd1z/cyhaWVZEQURhnm6kPL+IhN2Xmrw8xGXl2IdjNyep2UVYE1VPbNzlEFmKhz HjmITsvn6g2e8uqgGI/QxlOkz03y2Mt7m+kv8=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=LbeVX42qDp8ZOUKYY2x0YPi6ijTkHe4p/8ep8IF7o8M=; b=YrhtrD/LFEZzmCzCYwgbEgBw6MZO0kFBKGNqbRFmzoFMpW4x/FynP0nm4I8h0Snbe4 L1UG+lXXLj1u6dlpgdTS/4dJ00/QDwDulBrdVz9z4n7K2P5Cg40SDb1dIw7s2dzADTeZ Sbf8KtYze7acyZFEHitNVYRIRNPRNrHjatkUAn7JDrVXCuPj27vBOyEUzsApKwuooxzr bWtt0SS+Yjj+jGSjnP0mSgzKGczZCHoa11QZ8JylcNsjHbnFf8XXkEcvQ719j4lZoLwo LN546psUj8oUJILeT2psImAuJ+yJNZa0Ya5lCeK8gJmkIMZW6fZv+lMpNZQppUOWCgBL a5sA==
X-Gm-Message-State: AOAM531HAdUqcyBAqcF+B0AyKD1aO/c0Uw/Eu+hlzdLk5Y0JLy0rZ6Mf AEfrQopBlmM4zfAJUIyjhV3nN+HXIUu9pbea7xZVnAbPN0LBLBGCQbFJUDQE8FESLu8tl+AcJ3z 3nnmjtSPF9Q==
X-Google-Smtp-Source: ABdhPJyQGkgh/pt63jVN4gW27DGw8VYYXXwgOYkkxR/VLqmD6XF6fUsDFXMOP3KeTJYOmbNXb7Vyem8wORb2H1jYyH4=
X-Received: by 2002:a17:902:ba84:b029:dc:f27:dd4e with SMTP id k4-20020a170902ba84b02900dc0f27dd4emr3956442pls.61.1608086624222; Tue, 15 Dec 2020 18:43:44 -0800 (PST)
MIME-Version: 1.0
References: <F72C1EB3-CFC6-4E4D-AB5E-1AB2A83B7311@gmail.com> <1493.1601060690@localhost> <6DCC3CC5-3906-47E4-8186-C419518B0951@tzi.org> <CAF5ktP1OVzX9oF8LQcEeU2DuBoTmAzicuLg_tNbT3Rjoj_oP7g@mail.gmail.com> <D82B98D5-AA74-41BE-84FA-89EAA392BDA9@tzi.org>
In-Reply-To: <D82B98D5-AA74-41BE-84FA-89EAA392BDA9@tzi.org>
From: Bret Jordan <bret.jordan@broadcom.com>
Date: Tue, 15 Dec 2020 19:43:33 -0700
Message-ID: <CAF5ktP3p7bZa=LBe03BtdwrFMqZw_DzOkU+HWw=76hCdSDerDw@mail.gmail.com>
To: Carsten Bormann <cabo@tzi.org>
Cc: Bret Jordan <bret.jordan=40broadcom.com@dmarc.ietf.org>, Michael Richardson <mcr+ietf@sandelman.ca>, cacao <cacao@ietf.org>, fdt@ietf.org, Bret Jordan <jordan.ietf@gmail.com>, cbor@ietf.org
Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg="sha-256"; boundary="00000000000006fd8d05b68bd82a"
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/ExhJJs_adKqZ3sTuluEQ9m7ItIY>
Subject: Re: [fdt] [Cacao] Public Comment for CACAO Draft
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, 16 Dec 2020 02:43:47 -0000

Perhaps I can work on an ID for this and submit it to the CBOR working
group? We have done very similar things in STIX and TAXII as well. So it
would be good for me to take all the content I have written and done for
all three of this specifications (STIX, TAXII, and CACAO) and put them
together in a single ID that you and others can help with and comb through
with a fine tooth comb.  Does that seem reasonable to you?

Thanks,
Bret
PGP Fingerprint: 63B4 FC53 680A 6B7D 1447  F2C0 74F8 ACAE 7415 0050
"Without cryptography vihv vivc ce xhrnrw, however, the only thing that can
not be unscrambled is an egg."


On Tue, Dec 15, 2020 at 4:45 PM Carsten Bormann <cabo@tzi.org> wrote:

> Hi Bret,
>
> On 2020-12-15, at 21:38, Bret Jordan <bret.jordan=
> 40broadcom.com@dmarc.ietf.org> wrote:
> >
> > Or can we get a working group for this kind of work.
>
> I would consider a document that defines vocabulary like this to be a good
> component for CDDL, which the CBOR WG already is chartered to evolve.  A
> bit like a modern version of the good parts of part 2 of WSD [1], which is
> probably still the best document of that kind that we have.
>
> (Clearly, I’m not suggesting that CACAO wait for this to spring up, I just
> see the CACAO document as another item to look at that motivates finally
> doing this.)
>
> Grüße, Carsten
>
> [1]:
> https://clicktime.symantec.com/3SRZL7zFYPHB8G5QV1wAVd27Vc?u=https%3A%2F%2Fwww.w3.org%2FTR%2Fxmlschema-2%2F
>
> (Oh, and the difference between a 54-bit two's-complement signed integer
> and an I-JSON integer is that the former includes an INT54_MIN of -2**53,
> while the latter doesn’t (*), which you correctly copied from I-JSON —
> int54 may be vernacular for the latter, but this is off-by-one.  This
> little factoid is pretty much inconsequential (**) for CACAO, but a
> document like the above would get this detail right.)
>
> (*) because it actually does include both +0 and -0.
> (**) INT54_MIN *can* be represented in the typical JSON implementation
> number systems that I-JSON was accommodating, as can be 2**53 — it’s just
> no longer uniquely distinguishable from INT54_MIN-1 or 2**53+1.  So this
> little mistake is even more innocuous.
>
> --
> Cacao mailing list
> Cacao@ietf.org
>
> https://clicktime.symantec.com/3FbpPgtTsB92u5j6v6Zq9827Vc?u=https%3A%2F%2Fwww.ietf.org%2Fmailman%2Flistinfo%2Fcacao
>

-- 
This electronic communication and the information and any files transmitted 
with it, or attached to it, are confidential and are intended solely for 
the use of the individual or entity to whom it is addressed and may contain 
information that is confidential, legally privileged, protected by privacy 
laws, or otherwise restricted from disclosure to anyone else. If you are 
not the intended recipient or the person responsible for delivering the 
e-mail to the intended recipient, you are hereby notified that any use, 
copying, distributing, dissemination, forwarding, printing, or copying of 
this e-mail is strictly prohibited. If you received this e-mail in error, 
please return the e-mail to the sender, delete it from your computer, and 
destroy any printed copy of it.