Re: [Rats] Follow-up CoRIM: Horn clauses

hannes.tschofenig@gmx.net Tue, 30 April 2024 11:55 UTC

Return-Path: <hannes.tschofenig@gmx.net>
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 0AB13C14F70D; Tue, 30 Apr 2024 04:55:54 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.096
X-Spam-Level:
X-Spam-Status: No, score=-7.096 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_HI=-5, RCVD_IN_MSPIKE_H2=-0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=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=gmx.net
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 KHsVReX-0fR9; Tue, 30 Apr 2024 04:55:49 -0700 (PDT)
Received: from mout.gmx.net (mout.gmx.net [212.227.17.22]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 6BDEDC14F6B8; Tue, 30 Apr 2024 04:55:49 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmx.net; s=s31663417; t=1714478141; x=1715082941; i=hannes.tschofenig@gmx.net; bh=ELQsAh3wg6CXjhbCJmmt5z+WwcWkEiwMgx+sZaR6RQE=; h=X-UI-Sender-Class:From:To:Cc:References:In-Reply-To:Subject:Date: Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding:cc: content-transfer-encoding:content-type:date:from:message-id: mime-version:reply-to:subject:to; b=R0b08TOVhp62UgNMud/Y1chHirF622KMQc2DO62Kk6fqOcJmUE+asfYEKnuOClE8 jOPtDIX8mbvEb3JGE4abEFED8pT/E+FPrGlt5T7EtLhzQCZLtzBZv2bnquizFGP+Q OJ8LQsklYGiQMdgeMTCrOxpHaGQbxig7Me+/eXCWD3bmdaHwY/55IDmRgwx3Tvimr C9IpdqARbHwsouvQkwzNnoP4A0Vb/zrElyBWOWfxrF21PCPHfY8oQHFBpp50vFcxZ B8Ol4C455SHJ7J7OjJhc72IYDEnd2xgO6LrEKgW0iHo5uPKaIl4EGKQYIRvwO0cDR sFtbEGZQetGYwJxBpw==
X-UI-Sender-Class: 724b4f7f-cbec-4199-ad4e-598c01a50d3a
Received: from Surface ([194.95.69.30]) by mail.gmx.net (mrgmx104 [212.227.17.168]) with ESMTPSA (Nemesis) id 1M5QJJ-1s397w3cxx-000xmB; Tue, 30 Apr 2024 13:55:41 +0200
From: hannes.tschofenig@gmx.net
To: 'Henk Birkholz' <henk.birkholz@ietf.contact>, "'Tschofenig, Hannes'" <hannes.tschofenig=40siemens.com@dmarc.ietf.org>, 'Muhammad Usama Sardar' <muhammad_usama.sardar@tu-dresden.de>, 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> <cc33db4c-59fc-c715-39c7-dcab58cb323f@ietf.contact>
In-Reply-To: <cc33db4c-59fc-c715-39c7-dcab58cb323f@ietf.contact>
Date: Tue, 30 Apr 2024 13:55:41 +0200
Message-ID: <051301da9af5$53980e30$fac82a90$@gmx.net>
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
X-Mailer: Microsoft Outlook 16.0
Thread-Index: AQIsfSpWy0lKahADosHsKZmZ/aXZJAFEnVpYAocDZ+4CD3pI0wGwc6RCAfQ2t6MDGZpTZQGoJoYYAfbpS1ywWyy6QA==
Content-Language: de-at
X-Provags-ID: V03:K1:GZkr8LyKWthMP6QNYB4BdsVf0avfznGSQCNtzeZv3IudJnXd60q I/UhCjXYVCpxd/O+nt6tI4u5Angn9l/nVatMURlk9xBQzbsjuRdxjtJkY2TT4uwQvoiyiRv Jh1HHoMXcfoqdQ5Qm72AsvQOxpwWbHCNYqHMiHC2q9Qd9aF0r618GrUtO/I8bTL1fIvF1s5 7r6Q0ugzruYcUDs1+9oWA==
UI-OutboundReport: notjunk:1;M01:P0:9QBeATK/pGs=;7k1bmz/eFhGlNK6FuR4aiL/2oZH XBX4tSgtuWzOngD8QDaupMdpVRY23XvQAQP932Bh+ODVOyjYM1vb1SV3qa9KjKeZzdTrLRwe2 MdyxsABj/gK89maxw2FQslyyhDoksiZp71t/vCrtSzbSpcxnOq55d+De8qS3lYHGY+vDs1plv lbYbyjOwkLkKWMvG2+YsDrj3mUna3G84oRsbrnvo3eqAT2rP+barxpC+aaT7bk2cFx2RSaMle xtNNrpmCxaPpel1mYzv60zOdpLtfGkiW6+xLxOTtdUp8y/UhnORNaDMuQfjvsrbuT0KPZnnKr cVQ3reLj/7MSwbBdqK4XNhhAn+q+u6S/+V4ZuPCZWTnqg/z793REPeu96GrqCKWnetzhtpuGy CY0at0+Ha7iqh+Z2vdTq95hJZUnXG5s+arNBjPYxiux3yBsatNsJu3QDxnOdg7+CZHVZl7ouY CWiuLfw6qTYdmm2q3quooip2ChUwPej/aJi3OE/nXDJ+wi5hJUc0UcmJ1v0zmOIMZap+bmApF k+GGRSk3ChGy8OjhTGu92aiFl93NvFSu3dqMXo7kBDhbBKQFPpzUz/Wzqjq6Z0rNFjdbIE7ot Z0ThpYmURKJElzkcZCpao7klrRVMRi0sIfrGOTMe1NX2vZ9W4MVnGP9tfKFzJAlABct0NhvsZ Eg/JvjRB7Mba77ui//16DVRmpaJ1lurHt0oa+K/DsUtUAfYIvpWhmSbWpcaTRDrb6fRw+ddyF Uuyp/36el7CkpJNb9DJVqIuo6FfembJ43GKE2H5xj9oWXvFNJk/4z0r6o8G0BdfeeeckfqT0h TXsdNeY0lwII5ITbx/aNiCoUJk3YD6EPcFm/cq8iHxNn8=
Archived-At: <https://mailarchive.ietf.org/arch/msg/rats/au23_AKWoihR3Q8flhUgR4V05Mo>
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: Tue, 30 Apr 2024 11:55:54 -0000

Thanks, Henk! This extra background is appreciated.

-----Original Message-----
From: RATS <rats-bounces@ietf.org> On Behalf Of Henk Birkholz
Sent: Montag, 29. April 2024 16:25
To: Tschofenig, Hannes <hannes.tschofenig=40siemens.com@dmarc.ietf.org>; Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>; rats@ietf.org
Cc: Yogesh Deshpande <Yogesh.Deshpande@arm.com>
Subject: Re: [Rats] Follow-up CoRIM: Horn clauses

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

_______________________________________________
RATS mailing list
RATS@ietf.org
https://www.ietf.org/mailman/listinfo/rats