Re: [Rats] Follow-up CoRIM: Horn clauses
Yogesh Deshpande <Yogesh.Deshpande@arm.com> Tue, 19 March 2024 11:53 UTC
Return-Path: <Yogesh.Deshpande@arm.com>
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 20F12C151064 for <rats@ietfa.amsl.com>; Tue, 19 Mar 2024 04:53:52 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -6.907
X-Spam-Level:
X-Spam-Status: No, score=-6.907 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_HI=-5, RCVD_IN_MSPIKE_H2=-0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_NONE=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 (1024-bit key) header.d=armh.onmicrosoft.com
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 6rcMe2nlhuLH for <rats@ietfa.amsl.com>; Tue, 19 Mar 2024 04:53:48 -0700 (PDT)
Received: from EUR05-VI1-obe.outbound.protection.outlook.com (mail-vi1eur05on2134.outbound.protection.outlook.com [40.107.21.134]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 34C3FC14F60C for <rats@ietf.org>; Tue, 19 Mar 2024 04:53:47 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=UeNu8XPBUfo4wB060XJavKonPN8PN4k1d3hz4IjiZ7HFTh1UEe+M7uPBu14eFHs1mCHM4BAQx4OG/WLK0yO2lztz4v7YXKfxdCdXTxN/jzy1W4hMHiEMc0w4jyILZ/ZqqYS9orjZJWWb2SAYyn43jSVXF6AgHLqWnWHNG1iDR9dbwRrPsjzcVjfnSkaFYUZPLwb4MzxnonLz8f1ZOx9cbRYcQFQNq7Gs6fxKGclyzRkKhBt8wHsGwCalIhLLz1/ShhZ0h6/XnNbpXhWPHzcavEX6sdCiNicNnVPHYpI1Mu3TphRU8vZaY5W34ObvLWI2Or5chrBUbWMRH4ifoIYiCg==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=y1D6L0WbBAsVZcB87Lkof22LyNv3kmYGDfCsnqyQLqk=; b=mpfDGYDyGegwZtZsDxs7JzuvzyRtIE7qIJnJvznJIy4kPwjch+d31ReiPj6SbcH47AsWc1SwP0/Elre7z28O8Vp9FuQTuoQeCzjnr85wACXdqtoZz7TTO1uKihoo0RqxX+0sXDhZs6HvLLh32b9hS7sBjzKc8XVdz6Ja6Qa9XGqcA6QwQW4fhdVkuDMSNREDuZV/swi/Pmx5xKwVzVmpwCupRB5d6HTbunmPHgLmP9VlDQgrSIvebenB+TdC90rZfqvKWMgdbMRpA1T5xkCAdfovOz1L1l+u1LRzX6vAt+WKEOAv74XGTSvfT7MyzM9AgTj1HMK2Qf+AwLKUzITlHg==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=y1D6L0WbBAsVZcB87Lkof22LyNv3kmYGDfCsnqyQLqk=; b=MUTz3VZc7s5YCPr77Ul9TapaGlzUspoSjRtpTUeJFdT+XYh9bt8k6tVVPY2YX+I2SrmFsCdDWtc6JPefZXbzp+LoUyWg0D/oHBqQheVivlq9USIYG2aZhQu2i7CG8nDpEFh6vRDoVyMo8tIATq1gABGGe6UVY3no5/UFvA0FaYs=
Received: from DB9PR08MB9851.eurprd08.prod.outlook.com (2603:10a6:10:460::17) by AM7PR08MB5528.eurprd08.prod.outlook.com (2603:10a6:20b:dd::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.28; Tue, 19 Mar 2024 11:53:44 +0000
Received: from DB9PR08MB9851.eurprd08.prod.outlook.com ([fe80::8d94:e71f:7e40:585e]) by DB9PR08MB9851.eurprd08.prod.outlook.com ([fe80::8d94:e71f:7e40:585e%6]) with mapi id 15.20.7386.025; Tue, 19 Mar 2024 11:53:44 +0000
From: Yogesh Deshpande <Yogesh.Deshpande@arm.com>
To: "muhammad_usama.sardar" <muhammad_usama.sardar@tu-dresden.de>, "rats@ietf.org" <rats@ietf.org>
Thread-Topic: [Rats] Follow-up CoRIM: Horn clauses
Thread-Index: AQHaefKpk+FSJv2P/0yfPwb5rVSiB7E+8z2g
Date: Tue, 19 Mar 2024 11:53:44 +0000
Message-ID: <DB9PR08MB98518B5A64F79788CBD4600F8E2C2@DB9PR08MB9851.eurprd08.prod.outlook.com>
References: <1f4c5bad-857a-490c-b773-c8754d45489d@tu-dresden.de>
In-Reply-To: <1f4c5bad-857a-490c-b773-c8754d45489d@tu-dresden.de>
Accept-Language: en-GB, en-US
Content-Language: en-GB
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-ts-tracking-id: 1A0DA3A0012D464F9E3BB9494F8AA448.0
x-checkrecipientchecked: true
x-ms-publictraffictype: Email
x-ms-traffictypediagnostic: DB9PR08MB9851:EE_|AM7PR08MB5528:EE_
x-ld-processed: f34e5979-57d9-4aaa-ad4d-b122a662184d,ExtAddr
nodisclaimer: true
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: 3Qz7YQZzVUj00oMh4swZGAnGib58HwVLL6sin9vQ9WmZcBv89hmbo31ZRadYxtho6YlX9k3532GuRKJ9axRoOpoSVKTY471RXxsM+9wlhzgg4/lv3623s6Bk1aLExDyDSr9BIbsIslgipvz3cdBkqlJwMzBa1vQUD/lUuNLs4IkNSaHoKtVm/NwbPqpytyNYb5VnWurq+/sRSkSJUQPef8LbJJBKLWWyPOZUt03Gsxsq49fKCMA3maWEwXuc9UjMi3oaZZHWYhZIPalT/wFfmshGQXGIVnOwh6VaIsvWfGJJOyUYCqFzue8vUmIwMPo6fSeJ6EI6NoDZcZRojlx70CeW/JmzTJcrbKsNsKV0oqfHVf0+m+W2WPOC/7IG+saJzuH6ANGhkGWKTJuBcbqZxvXqMOVa0txJdB5jCi5MXdM+4SFpzBATyyA83A2JdAsCN01LOiKh6z3fScuwDhG57+MVebLrfuFbLGtG1vP2pfZv26Sqk2TQ/1fMVV1v3klv1NA+vYjrzC80rEcTMinKOk2bnYmLb6vRLvu/+UlDPIRw6tRsHPRVJ6PTD2SOkVGGDwZj8vS1pdDRSFmW2zpIktfgkgZoWwz+uJk1/gLk6EU=
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:DB9PR08MB9851.eurprd08.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230031)(1800799015)(366007)(376005); DIR:OUT; SFP:1102;
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: d+9gU1vB0gGMMhJSP0B+id2v7sn5/0udj+WqyKs/Avw9pd8iOSDsDbnr10Yxu6roQRyDK95IAibcR8Wjlolyd948KiCrjAP4fFIconVp7ZQ7tKKDdzIzTumuYBPe4qaewMSjv0cgHvjUdzRgmq26/reN6NdBOqWcqWCxQj8BmngVPK/air8V87tYkU7oMzWO5VajEbwHvdB2MXk2sYFqSd30smWK1sslaZr+J50GyvQ67Pi/fpvCbgCnPNvkbNVmFR7mm0XK7yjPIxq97EZmS7MU6R5D+7D4gzXI0Jrnkx5ed6/3g2S/XetqobC0CzQcWF/NctoE5hna4+4x6LDbVictjPDUn3ZQo68LWrAB7rSLs0NDyWLtYkmT+oiQ36mnzPtZEQexJPHDEmr7F8ZvDbCpZw0/xncXERo4nSXnuAsQ4Rro3Ans8ZdB/yNFIK3EvWK6xspfja6pD/y1u6wD+OgKuy0ELkiZT6SLBvPMjzOGx3Ilo7KC/uX7nzJb0LJzRcMYXMNkHkr4+7G3vPJPImkL77ushaPYGd4sUs3zFscZ22eAS8t7PLRqVft/1r4gohb2fzw2eQ0AaMvTJfb+H1ZmePoYUJ8YKgcn4PpvtR2y1l08i2gtWCjGAiI/GTT3JheJcTT0aoiBiPfUm1DeyTpUtifkF5vRN0/uoZksESa07ivXBu1MkPKRl7IFA11NS4WgteegtyOXYUBv8VDH2PjsYpb3b5U0h4YcCgks4153/WUN6b1EqlpReqsaiOOC3JKS+qg1ZBumVLK+alg6M8F4LJroe5bCwiw/ucUzjENCq7YXGNZd2pZMzvwg6dHP5/zRfiCSEhSjdaW9SDXC6cfQLsK2C4XVZ8xBHin41LVa8PTXRyibAC9PFdxe8r5XDSf0mekRYStIeKJGXUv72yP2sEunjzKrVSxncHG3eQnvtlSr5s/QU1TRr9ITV9groRRtN7xj6nN03ocg0sO1SvOeghdcuHWt4vMBsGrzU7bcZ0/NqWrFvSSY4g0Wen3XFJfPo/usjSHaIy7WvvLD56V6wiWMdkx2fUixPscMXr3yEkelIU8Vpd0obzHjwL5uEae7vJQCK9tdfN4B7Qv7VTtodYAepxelZJ0G3Tkjys1AAIq8ckITQBkMY4jb32dx7Srnf/vPg4HZJUVPqwMnFB+JhuvwhiwtZIrfJdJFvuvbbyzlH9N0kSQSfHRtc/oe94Lnbf+golmKBvpwmHuv3xnv4WE1c2ICZJX75Om5JWn3acSwNI+DvE5nMmsQdQT+MG+IH/WKOCOHZDCLSlp67XX7tmTikJOo9OwwAcPoEhGupOWtPgL8Phshqj9Q8T71GjZY9iBF6HTtuckBuF+hmwPbYE/YxomCb4eql3j0h6UokLcPSDLd3FkF5S7K47Z45/sC3VPN3Mc369Qc6vRgtzAFfxL+WM0lrYdXEBzXAbTbyMSok6XL/N6dYLQdEYXyli+TeM3fj7OfR0p4wH5vOlqXCkHP5yQNdz7TnfBFT9aOHPqNIxpfYeObnod2AS8Lhq8TOaUnSG9/XUAt2b6P3PZ5ZiMJdPjzE57ygALj9rr2k43o61fS6WyxKGvAgcmOaAb1KCcH7NxJMELqc91veQDPcsLHvWZCUKRuFIK/WG2fYBrbDJuUJB1Yen9gc9M2
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-OriginatorOrg: arm.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: DB9PR08MB9851.eurprd08.prod.outlook.com
X-MS-Exchange-CrossTenant-Network-Message-Id: ef4be73e-0c1d-457b-36a3-08dc480b3ab8
X-MS-Exchange-CrossTenant-originalarrivaltime: 19 Mar 2024 11:53:44.6388 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: f34e5979-57d9-4aaa-ad4d-b122a662184d
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: L6kpn6L6OOvxm5seBnvWgeiXOTODnvTaP8TSqZn+aZKMsoacvttnZCGig8BXxy3JPJe+21dpwyhjcLWqZnReAIFJm1vd03CqfzlQEVyTpiI=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM7PR08MB5528
Archived-At: <https://mailarchive.ietf.org/arch/msg/rats/ycrMBq4i6M1WxpsLVTIkVK8akr8>
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, 19 Mar 2024 11:53:52 -0000
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-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/ _______________________________________________ RATS mailing list RATS@ietf.org https://www.ietf.org/mailman/listinfo/rats IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.
- 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