Re: [Rats] Follow-up CoRIM: Horn clauses
Henk Birkholz <henk.birkholz@ietf.contact> Mon, 29 April 2024 14:25 UTC
Return-Path: <henk.birkholz@ietf.contact>
X-Original-To: rats@ietfa.amsl.com
Delivered-To: rats@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 47636C180B4F for <rats@ietfa.amsl.com>; Mon, 29 Apr 2024 07:25:35 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -5.07
X-Spam-Level:
X-Spam-Status: No, score=-5.07 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, NICE_REPLY_A=-2.974, RCVD_IN_DNSWL_BLOCKED=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=ietf.contact
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 DnJJT6gB-oKa for <rats@ietfa.amsl.com>; Mon, 29 Apr 2024 07:25:31 -0700 (PDT)
Received: from smtp06-ext.udag.de (smtp06-ext.udag.de [62.146.106.76]) (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 E90A0C180B62 for <rats@ietf.org>; Mon, 29 Apr 2024 07:24:43 -0700 (PDT)
Received: from [IPV6:2a01:599:200:c83f:8cc4:48e3:6e82:148e] (tmo-072-66.customers.d1-online.com [80.187.72.66]) by smtp06-ext.udag.de (Postfix) with ESMTPA id D1B0FE0990; Mon, 29 Apr 2024 16:24:39 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ietf.contact; s=uddkim-202310; t=1714400682; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=+y1l6W6hRgbXo2eyCCUNHAhMZFn6KDvWgq9vsiu7/O8=; b=Jg+nOEQovY4j9M39xKJbCkxawlgp2iZPxlE5lutkfyIOSgtNWIYWavm56wPktH3VH4H3mO mAl8mo/6l5BcbrWDfPuVUOqjPMFErcpX9xMzk5oTzBjBaCwjnbizomCBggEftrMtHCmxjl DaHmfnoZYVleL5BQZj5vVfTNr0YFJAralJIevg8FfHZBBJzD/8blgwcRO+FDR1oiumP2Np hbafgoI2pkDPQ9bREiGkqH6Yjg6txYsQe4YsZ5eHyAo1F79lUVtBOAMszgXlH47Mg2Xm+c zcIzRNN0NxZ/mp0y4DlcPMSmBR4/IOKtxtKic1Hijh2MQPYug0EWP6QqbwJxqw==
Message-ID: <cc33db4c-59fc-c715-39c7-dcab58cb323f@ietf.contact>
Date: Mon, 29 Apr 2024 16:24:39 +0200
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0
Content-Language: en-US
To: "Tschofenig, Hannes" <hannes.tschofenig=40siemens.com@dmarc.ietf.org>, Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>, "rats@ietf.org" <rats@ietf.org>
Cc: Yogesh Deshpande <Yogesh.Deshpande@arm.com>
References: <1f4c5bad-857a-490c-b773-c8754d45489d@tu-dresden.de> <DB9PR08MB98518B5A64F79788CBD4600F8E2C2@DB9PR08MB9851.eurprd08.prod.outlook.com> <a28edcd7-6d82-4500-a42e-f76be30babf3@tu-dresden.de> <DB9PR08MB98510CF3E1274B44C28B34808E2C2@DB9PR08MB9851.eurprd08.prod.outlook.com> <35ad3aea-0dfd-42fc-bb58-464f9eaf15da@tu-dresden.de> <ecec6670-939f-66b5-daa3-f179a67490cb@ietf.contact> <7b3648cf-1428-4670-8667-bf28de08206e@tu-dresden.de> <AS8PR10MB7427C5332941C3D29684726DEE1B2@AS8PR10MB7427.EURPRD10.PROD.OUTLOOK.COM>
From: Henk Birkholz <henk.birkholz@ietf.contact>
In-Reply-To: <AS8PR10MB7427C5332941C3D29684726DEE1B2@AS8PR10MB7427.EURPRD10.PROD.OUTLOOK.COM>
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: 8bit
Authentication-Results: smtp06-ext.udag.de; auth=pass smtp.auth=henk.birkholz@ietf.contact smtp.mailfrom=henk.birkholz@ietf.contact
Archived-At: <https://mailarchive.ietf.org/arch/msg/rats/2W4On2w_8qfitGJBX44Wgnqk0jU>
Subject: Re: [Rats] Follow-up CoRIM: Horn clauses
X-BeenThere: rats@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Remote ATtestation procedureS <rats.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/rats>, <mailto:rats-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/rats/>
List-Post: <mailto:rats@ietf.org>
List-Help: <mailto:rats-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/rats>, <mailto:rats-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 29 Apr 2024 14:25:35 -0000
Hi Hannes, On 29.04.24 13:45, Tschofenig, Hannes wrote: > Was there any progress on answering the question from Usama? yes As background: one corresponding issue was filed on github was filed last year, I think: > https://github.com/ietf-rats-wg/draft-ietf-rats-corim/issues/110 In response to Usama, Dionna captured some generic context and why the term was mentioned: > https://mailarchive.ietf.org/arch/msg/rats/qwPBmmKMiofu12X6dHX_DrYFnRQ In general, the topics are conditional endorsements and composition of CoRIM to explain composite Attesters to Verifiers. Viele Grüße, Henk > > Ciao > Hannes > > -----Original Message----- > From: RATS <rats-bounces@ietf.org> On Behalf Of Muhammad Usama Sardar > Sent: Tuesday, April 9, 2024 5:28 PM > To: Henk Birkholz <henk.birkholz@ietf.contact>; rats@ietf.org > Cc: Yogesh Deshpande <Yogesh.Deshpande@arm.com> > Subject: Re: [Rats] Follow-up CoRIM: Horn clauses > > Hi Henk, > > On 09.04.24 09:10, Henk Birkholz wrote: >> Hi Usama, >> >> sorry for my latency, I was PTO in Australia for a while after IETF >> 119. Ned is currently also PTO and was the presenter. >> >> Horn Clauses must have been a topic of CoRIM editors meetings when I >> was PTO. > My personal understanding so far is that no editor other than Ned has even any vague clue about how the Horn clause stuff is relevant to the draft, how the Horn clauses are generated etc. >> There obviously is no substantial effect on any I-D text today. There >> is nothing you are missing out on. > There is definitely a lot of stuff going on in these backdoor meetings that I am (as well as the WG is) missing out on, e.g., see my preliminary questions in the thread below. >> Next CoRIM editors meeting occurs again this Wed. >> > Does Ned still manage to join these meetings? If not, could one of the > editors confirm that he has answers to at least some of my questions? I > think in the open spirit of IETF, joining these meetings should NOT be > the ONLY way to get information. >>> https://mailarchive.ietf.org/arch/msg/rats/4182gmZDaWbPcNzoC7zRRUYQ0eM/ >> >> My personal (and pretty much not unbiased) perception is that nobody >> is actively ignoring you, > When I say transparency, I mean summarizing the discussions in these > backdoor meetings back to the mailing list. This was already mentioned > more than a couple of months ago, and has nothing to do with "ignoring > me". I presented my related work at HCVS last weekend and I was > interested in discussing this topic also with the Horn clauses experts. >> but rather that a lot of people involved are on PTO. Please give Ned >> the time to return, then to put out the dayjob little fires >> everywhere, and then come back to this topic. >> > Do you know when Ned finishes PTO stuff? > >> Does that sound fine to you? >> > depends how long is the PTO... > > Best Regards, > > Usama > >> >> Viele Grüße, >> >> Henk >> >> On 22.03.24 06:05, Muhammad Usama Sardar wrote: >>> None of the two issues pointed below mention Horn clauses. Also, the >>> CoRIM meeting this week was cancelled. Some preliminary questions for >>> better understanding: >>> >>> * How are "Horn clauses" relevant to the CoRIM draft? I don't fully >>> understand the link of the CoRIM draft to Horn clauses. >>> * How are the Horn clauses generated? >>> * What are the assumptions/facts? >>> * Which rule engine do you plan to use to analyze the Horn clauses? >>> >>> We have some experience with Horn clauses, which will likely be >>> helpful here, e.g., I have experience with ProVerif which is based on >>> Horn clauses, and my colleagues have developed "Nemo" tool [1]. >>> >>> Since CoRIM is a WG document, could the editors and contributors >>> please make a good-will effort to summarize the discussions on these >>> meetings to the WG? Interested WG members would then get a chance >>> to contribute and/or comment. This was already pointed out a couple >>> of months ago [2], but I don't see any CoRIM update provided to the >>> mailing list since then. I very much like the updates from PKIX >>> attestation, e.g., [3]. >>> >>> [1] https://iccl.inf.tu-dresden.de/web/Inproceedings3354 >>> >>> [2] >>> https://mailarchive.ietf.org/arch/msg/rats/OwTI-PfFpLXHKf3IhoNpayv3m10/ >>> >>> [3] >>> https://mailarchive.ietf.org/arch/msg/rats/8X3N9e7-phCjDwGacWJrDoapeRE/ >>> >>> Thanks, >>> >>> Usama >>> >>> On 19.03.24 13:46, Yogesh Deshpande wrote: >>>> Hi Usama, >>>> >>>> Some of the linked github issues where the discussions happened is >>>> given below: >>>> >>>> https://github.com/ietf-rats-wg/draft-ietf-rats-corim/issues/197 >>>> >>>> https://github.com/ietf-rats-wg/draft-ietf-rats-corim/issues/142 >>>> >>>> Feel free to join CoRIM Meetings, I have forwarded you the invite. >>>> >>>> Regards, >>>> Yogesh >>>> >>>> -----Original Message----- >>>> From: Muhammad Usama Sardar<muhammad_usama.sardar@tu-dresden.de> >>>> Sent: Tuesday, March 19, 2024 12:05 PM >>>> To: Yogesh Deshpande<Yogesh.Deshpande@arm.com> >>>> Cc:rats@ietf.org >>>> Subject: Re: [Rats] Follow-up CoRIM: Horn clauses >>>> >>>> Hi Yogesh, >>>> >>>> Thanks. Could you point me to the recording and minutes of the >>>> relevant CoRIM team meeting where it was discussed? >>>> >>>> Usama >>>> >>>> On 19.03.24 12:53, Yogesh Deshpande wrote: >>>>> Hello Usama, >>>>> >>>>> This was only discussed recently in one of our CoRIM team >>>>> meetings(has just been initiated), hence you do not find any update >>>>> on the same in any of the IETF drafts. >>>>> >>>>> In the course of time, as part of CoRIM Verifier simplification >>>>> activity, concepts from this presentation will make its space into >>>>> the draft. >>>>> >>>>> Regards, >>>>> Yogesh Deshpande >>>>> >>>>> -----Original Message----- >>>>> From: RATS<rats-bounces@ietf.org> On Behalf Of Muhammad Usama Sardar >>>>> Sent: Tuesday, March 19, 2024 11:43 AM >>>>> To:rats@ietf.org >>>>> Subject: [Rats] Follow-up CoRIM: Horn clauses >>>>> >>>>> Dear Ned and CoRIM team, >>>>> >>>>> Horn clauses [1, slide 6] were mentioned yesterday in the meeting. >>>>> Surprisingly, I don't see any relevant discussion in any of the two >>>>> relevant drafts [2,3]. Where can I find more details about how the >>>>> Horn clauses are generated for any of these drafts? What are the >>>>> assumptions/facts? etc. >>>>> >>>>> Thanks, >>>>> >>>>> Usama >>>>> >>>>> [1] >>>>> https://datatracker.ietf.org/meeting/119/materials/slides-119-rats-att >>>>> estation-verifier-theory-of-operation >>>>> >>>>> [2]https://datatracker.ietf.org/doc/draft-ietf-rats-corim/ >>>>> >>>>> [3] >>>>> https://datatracker.ietf.org/doc/draft-cds-rats-intel-corim-profile/ >>> >>> _______________________________________________ >>> RATS mailing list >>> RATS@ietf.org >>> https://www.ietf.org/mailman/listinfo/rats > > _______________________________________________ > RATS mailing list > RATS@ietf.org > https://www.ietf.org/mailman/listinfo/rats > _______________________________________________ > RATS mailing list > RATS@ietf.org > https://www.ietf.org/mailman/listinfo/rats
- Re: [Rats] Follow-up CoRIM: Horn clauses Muhammad Usama Sardar
- [Rats] Follow-up CoRIM: Horn clauses Muhammad Usama Sardar
- Re: [Rats] Follow-up CoRIM: Horn clauses Yogesh Deshpande
- Re: [Rats] Follow-up CoRIM: Horn clauses Yogesh Deshpande
- Re: [Rats] Follow-up CoRIM: Horn clauses Muhammad Usama Sardar
- Re: [Rats] Follow-up CoRIM: Horn clauses Muhammad Usama Sardar
- Re: [Rats] Follow-up CoRIM: Horn clauses Muhammad Usama Sardar
- Re: [Rats] Follow-up CoRIM: Horn clauses Henk Birkholz
- Re: [Rats] Follow-up CoRIM: Horn clauses Muhammad Usama Sardar
- Re: [Rats] Follow-up CoRIM: Horn clauses Hannes Tschofenig
- Re: [Rats] Follow-up CoRIM: Horn clauses Tschofenig, Hannes
- Re: [Rats] Follow-up CoRIM: Horn clauses Henk Birkholz
- Re: [Rats] Follow-up CoRIM: Horn clauses hannes.tschofenig