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.
- Re: [fdt] [Cacao] Public Comment for CACAO Draft Carsten Bormann
- Re: [fdt] [Cacao] Public Comment for CACAO Draft Bret Jordan
- Re: [fdt] [Cacao] Public Comment for CACAO Draft Carsten Bormann
- Re: [fdt] [Cacao] Public Comment for CACAO Draft Bret Jordan