Re: [lamps] PQ-composite OR or K-of-N logic

Michael Richardson <mcr+ietf@sandelman.ca> Fri, 29 April 2022 15:53 UTC

Return-Path: <mcr+ietf@sandelman.ca>
X-Original-To: spasm@ietfa.amsl.com
Delivered-To: spasm@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 9F3FEC15ED5E for <spasm@ietfa.amsl.com>; Fri, 29 Apr 2022 08:53:41 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.9
X-Spam-Level:
X-Spam-Status: No, score=-1.9 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id VJek383KZBqS for <spasm@ietfa.amsl.com>; Fri, 29 Apr 2022 08:53:40 -0700 (PDT)
Received: from tuna.sandelman.ca (tuna.sandelman.ca [209.87.249.19]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 9D28AC15E3E7 for <spasm@ietf.org>; Fri, 29 Apr 2022 08:53:40 -0700 (PDT)
Received: from localhost (localhost [127.0.0.1]) by tuna.sandelman.ca (Postfix) with ESMTP id 6E49339315; Fri, 29 Apr 2022 12:06:28 -0400 (EDT)
Received: from tuna.sandelman.ca ([127.0.0.1]) by localhost (localhost [127.0.0.1]) (amavisd-new, port 10024) with LMTP id Sdtg3nOcezYt; Fri, 29 Apr 2022 12:06:27 -0400 (EDT)
Received: from sandelman.ca (unknown [172.30.2.21]) by tuna.sandelman.ca (Postfix) with ESMTP id 8DF623930E; Fri, 29 Apr 2022 12:06:27 -0400 (EDT)
Received: from localhost (localhost [IPv6:::1]) by sandelman.ca (Postfix) with ESMTP id 05219E6; Fri, 29 Apr 2022 11:53:38 -0400 (EDT)
From: Michael Richardson <mcr+ietf@sandelman.ca>
To: "Kampanakis, Panos" <kpanos=40amazon.com@dmarc.ietf.org>, Russ Housley <housley@vigilsec.com>, =?utf-8?B?IktsYXXDn25lciwgSmFuIg==?= <Jan.Klaussner@d-trust.net>, LAMPS <spasm@ietf.org>
In-Reply-To: <6cff3100963349cb8399bbe853e2186f@EX13D01ANC003.ant.amazon.com>
References: <f2fb2b2459fe42818348838eb14cc2ac@EX13D01ANC003.ant.amazon.com> <1312273.1650733310@dooku> <ca18a6bf6cb74756ac942fb514c82d78@d-trust.net> <F24836DA-1304-4379-B91D-BBB4F012A888@vigilsec.com> <6cff3100963349cb8399bbe853e2186f@EX13D01ANC003.ant.amazon.com>
X-Mailer: MH-E 8.6+git; nmh 1.7+dev; GNU Emacs 27.1
X-Face: $\n1pF)h^`}$H>Hk{L"x@)JS7<%Az}5RyS@k9X%29-lHB$Ti.V>2bi.~ehC0; <'$9xN5Ub# z!G,p`nR&p7Fz@^UXIn156S8.~^@MJ*mMsD7=QFeq%AL4m<nPbLgmtKK-5dC@#:k
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-="; micalg="pgp-sha512"; protocol="application/pgp-signature"
Date: Fri, 29 Apr 2022 11:53:37 -0400
Message-ID: <14588.1651247617@localhost>
Archived-At: <https://mailarchive.ietf.org/arch/msg/spasm/a45XUMn9A5HziOkCGXSSn0kbayc>
Subject: Re: [lamps] PQ-composite OR or K-of-N logic
X-BeenThere: spasm@ietf.org
X-Mailman-Version: 2.1.34
Precedence: list
List-Id: "This is a venue for discussion of doing Some Pkix And SMime \(spasm\) work." <spasm.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/spasm>, <mailto:spasm-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/spasm/>
List-Post: <mailto:spasm@ietf.org>
List-Help: <mailto:spasm-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/spasm>, <mailto:spasm-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 29 Apr 2022 15:53:41 -0000

Kampanakis, Panos <kpanos=40amazon.com@dmarc.ietf.org> wrote:
    > That does not need the signer to define the k-of-n logic. The signer
    > will just create n signatures and put them in a composite one. The
    > verifier will verify k-of-n and pass verification. No need for
    > upgrades. And no need for the AND, OR, K-OF-N logic to be added in the
    > composite signature or public key to complicate things.

I agree, the value of k is probably Verifier policy.
The signer could express a hint via a policy OID, but ultimately, it's the
verifier that needs to implement something.


--
Michael Richardson <mcr+IETF@sandelman.ca>   . o O ( IPv6 IøT consulting )
           Sandelman Software Works Inc, Ottawa and Worldwide