[Rats] Follow-up CoRIM: Horn clauses
Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de> Tue, 19 March 2024 11:43 UTC
Return-Path: <muhammad_usama.sardar@tu-dresden.de>
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 4958DC14CF01 for <rats@ietfa.amsl.com>; Tue, 19 Mar 2024 04:43:07 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.407
X-Spam-Level:
X-Spam-Status: No, score=-4.407 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, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, 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=tu-dresden.de
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 MEEuN99GKErg for <rats@ietfa.amsl.com>; Tue, 19 Mar 2024 04:43:02 -0700 (PDT)
Received: from mailout3.zih.tu-dresden.de (mailout3.zih.tu-dresden.de [141.30.67.74]) (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 E2767C14F6AE for <rats@ietf.org>; Tue, 19 Mar 2024 04:43:02 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tu-dresden.de; s=dkim2022; h=Content-Transfer-Encoding:Content-Type:To: Subject:From:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=+iZfhc309u3G8ghWsA87yQnchKCE+4PDAe6fmpjUZtw=; b=q/Cr4OP39eFkln3/F0KfRGGOkU eiIpMX3Ysl4xW11S5FVMDPxtCaAzTijYz+cqcFbnek1MXHOPMsNXAVidMgGe8IOYVwUNPWZth0tr/ F83ezfgx6ozHKxdQa5qGg6ufvVYyOV5gNz+LGAEM3vEZXTHqckULZbMt8wUM7EFks95gnWzrG0Seb cqOcxBOo08nfGz3kGLU2aVOPCxHC2U9YMp/bJ+a9qL6wwPmN5apLlx6A0JSTzMuZNWW11wOduiMg1 ix6tGSQDlhARw6nZJHY8P910hzu7ZCsZIQHRh+fK1lr143JCODi2SOJFVJsW7ovxrmslYPyDPVsFI XydOTB4w==;
Received: from [172.26.35.114] (helo=msx.tu-dresden.de) by mailout3.zih.tu-dresden.de with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from <muhammad_usama.sardar@tu-dresden.de>) id 1rmXrv-005AKR-04 for rats@ietf.org; Tue, 19 Mar 2024 12:42:59 +0100
Received: from [10.70.3.98] (194.95.143.137) by MSX-T314.msx.ad.zih.tu-dresden.de (172.26.35.114) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.1.2507.35; Tue, 19 Mar 2024 12:42:54 +0100
Message-ID: <1f4c5bad-857a-490c-b773-c8754d45489d@tu-dresden.de>
Date: Tue, 19 Mar 2024 12:42:54 +0100
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: en-US
From: Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>
To: rats@ietf.org
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: 7bit
X-ClientProxiedBy: MSX-L314.msx.ad.zih.tu-dresden.de (172.26.34.114) To MSX-T314.msx.ad.zih.tu-dresden.de (172.26.35.114)
X-TUD-Virus-Scanned: mailout3.zih.tu-dresden.de
Archived-At: <https://mailarchive.ietf.org/arch/msg/rats/13WXReTESBgOjRLB9qdX7Jj1vIg>
Subject: [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, 19 Mar 2024 11:43:07 -0000
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-attestation-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/
- 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