[Rats] Re: Structure of RATS Verifier Specifications

Carl Wallace <carl@redhoundsoftware.com> Mon, 27 October 2025 10:40 UTC

Return-Path: <carl@redhoundsoftware.com>
X-Original-To: rats@mail2.ietf.org
Delivered-To: rats@mail2.ietf.org
Received: from localhost (localhost [127.0.0.1]) by mail2.ietf.org (Postfix) with ESMTP id 324C07CC908D for <rats@mail2.ietf.org>; Mon, 27 Oct 2025 03:40:20 -0700 (PDT)
X-Virus-Scanned: amavisd-new at ietf.org
X-Spam-Flag: NO
X-Spam-Score: -2.099
X-Spam-Level:
X-Spam-Status: No, score=-2.099 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, MIME_QP_LONG_LINE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: mail2.ietf.org (amavisd-new); dkim=pass (1024-bit key) header.d=redhoundsoftware.com
Received: from mail2.ietf.org ([166.84.6.31]) by localhost (mail2.ietf.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ba1scBsYq7uR for <rats@mail2.ietf.org>; Mon, 27 Oct 2025 03:40:19 -0700 (PDT)
Received: from mail-yx1-xb130.google.com (mail-yx1-xb130.google.com [IPv6:2607:f8b0:4864:20::b130]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature ECDSA (P-256) server-digest SHA256) (No client certificate requested) by mail2.ietf.org (Postfix) with ESMTPS id C6CDC7CC9088 for <rats@ietf.org>; Mon, 27 Oct 2025 03:40:19 -0700 (PDT)
Received: by mail-yx1-xb130.google.com with SMTP id 956f58d0204a3-63e3804362cso4136365d50.2 for <rats@ietf.org>; Mon, 27 Oct 2025 03:40:19 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhoundsoftware.com; s=google; t=1761561619; x=1762166419; darn=ietf.org; h=content-transfer-encoding:mime-version:thread-topic:message-id:to :from:subject:date:user-agent:from:to:cc:subject:date:message-id :reply-to; bh=BRkM5DEJrdfRyDDeJstiDFr/WUy9qHaOiewvL0yUfng=; b=RGM7CKvRigw78gTubp/ILxcTO8JlUlXIxWPGrmpK6BlHtwTytqH/FkOBr6vgZGM+bc MKF3png+Emoox7PNYRXT8atiPMQ1wY4inT1l05YlYSMVN9viwjMaQG8ZE3yR/bgYbA24 gpX67dPk7xdhrhrxfm04lJrNQnEDshErLgEzQ=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1761561619; x=1762166419; h=content-transfer-encoding:mime-version:thread-topic:message-id:to :from:subject:date:user-agent:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=BRkM5DEJrdfRyDDeJstiDFr/WUy9qHaOiewvL0yUfng=; b=gdjVVreBQUjo0D5Kq9miTV/kF2Xv+kboBZVRAFwoey7WsbBugDqaBxOR5txNC80k5w QlYnBCEkNTIaWWsbpvR43Et5iSV2U9zENnSSzSy5ChHHYInctKRdV4VvvHAJzpbGjE9J 0lWDUmHElU5ctIFoGbyX43Xf4BdKiE2KDqBRRh25MplpMvyLf+YNqB5Puv020dAQSB5w mrBlPrfuG077JivF/tpaYSwgM6cc0bnhLdBFJmm+59EH5Mb1WIF9goHq5uMR40hDaTSe pHzsSg02gta7z+Dz/6gX95MJgiQPpBL9s8ce8awAhOEUpR9UMZefWqFzopmKsmvhBUL/ 89fg==
X-Forwarded-Encrypted: i=1; AJvYcCVG7VNLjgrDi8ulRnA1EJdZIx9Yrg8A1FKFM2uCjZSustWuh1sSqjbjKYW5VvJmC4aJ13aQ@ietf.org
X-Gm-Message-State: AOJu0Yz3QxQpPq7uZ/WYCq9t9Fvv44puBWymjxvXJgKl1qiI4o2sJWPw 71PxV0nOeJj1Fol83VlQNAxlcOYhvrTto42WFs42JoLsLWdUp3KH3mjZLHAh/ep0oseRvL9/nB9 dAOrQ
X-Gm-Gg: ASbGncvKaiHHkUdUa8woIljA5lYaIg+K9oFk7fRJ/o35waqZabb1DXojrzTDkHbZtzD RwzwpUZSTrtmR/fvmmyNJL0xF6pmRmDwx4n6UHa+gJS+3P1xgRP7qGjDpGoY5cmjbCs9ljwUpO2 87lnWLF1fG08VvbzIJtXiwpUXza3haTtVWGRpA++AyzzLe3ILGJWIqETECLb4/w3BoiphjN3kI+ a/yW7naDcq84WIoboA9R4vj3Uy2e+Nb+D7cxbNo+nKN1D4Q7xJgWnD2Wz5vbax024du4mVJkFcz 0b3Vq2q6FOoLRL61oQtX1eGsERAGxTGjl2ARRSwOgkGFtBeN7NzlagBuwxqZw/D1HwEHGyX5gq8 C7Os33Ao3ymRD9FlCHuQOZCVzutq1zzg6tfqvXZCfqatWCdS/IM+xfsL5PYWrMCsxfxi20PHbfe UqfEFSPllhugWmkTxFW9D3uxJ22luiQubUmUnd2z9vebQ/0z2ThdfhUQ5TtT3olxlgceLuP+20/ A==
X-Google-Smtp-Source: AGHT+IGG24kSuWNb71EZ7EX6zdrVmyLRgzkrrugdJtjEeDvJOTm0mcO+RfBOFQg9g+1tDXEAOqOURw==
X-Received: by 2002:a05:690c:6f88:b0:784:9883:5fd4 with SMTP id 00721157ae682-78498836486mr464548687b3.64.1761561619134; Mon, 27 Oct 2025 03:40:19 -0700 (PDT)
Received: from [192.168.21.120] (syn-098-101-204-034.biz.spectrum.com. [98.101.204.34]) by smtp.gmail.com with ESMTPSA id 00721157ae682-785ed1beff9sm17930487b3.41.2025.10.27.03.40.17 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 27 Oct 2025 03:40:17 -0700 (PDT)
User-Agent: Microsoft-MacOutlook/16.102.25101829
Date: Mon, 27 Oct 2025 06:40:17 -0400
From: Carl Wallace <carl@redhoundsoftware.com>
To: Steven Bellock <sbellock=40nvidia.com@dmarc.ietf.org>, Michael Richardson <mcr+ietf@sandelman.ca>, rats <rats@ietf.org>
Message-ID: <E814C444-2101-48C0-A802-0F368EEB558F@redhoundsoftware.com>
Thread-Topic: [Rats] Re: Structure of RATS Verifier Specifications
Mime-version: 1.0
Content-type: text/plain; charset="UTF-8"
Content-transfer-encoding: quoted-printable
Message-ID-Hash: PJ24OM7TECOERIHE336N5YNUGVJ5YGKD
X-Message-ID-Hash: PJ24OM7TECOERIHE336N5YNUGVJ5YGKD
X-MailFrom: carl@redhoundsoftware.com
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-rats.ietf.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
X-Mailman-Version: 3.3.9rc6
Precedence: list
Subject: [Rats] Re: Structure of RATS Verifier Specifications
List-Id: Remote ATtestation procedureS <rats.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/rats/CPgHg7xqRCW2TI59XIKcXXc3wnM>
List-Archive: <https://mailarchive.ietf.org/arch/browse/rats>
List-Help: <mailto:rats-request@ietf.org?subject=help>
List-Owner: <mailto:rats-owner@ietf.org>
List-Post: <mailto:rats@ietf.org>
List-Subscribe: <mailto:rats-join@ietf.org>
List-Unsubscribe: <mailto:rats-leave@ietf.org>

I don't follow how processing algorithm (Section 9) would move to an architecture document. Section 8 seems like a decent basis for a high level I-D but concrete processing rules need to live somewhere, and an architecture I-D doesn't seem like the right place.

As an aside, while skimming the CoRIM sections referenced below, I noticed the rules in 9.3.4.4 include a bespoke certificate validation algorithm. Is there any reason why this should not just reference Section 6 of RFC 5280?

On 10/23/25, 3:47 PM, "Steven Bellock" <sbellock=40nvidia.com@dmarc.ietf.org <mailto:40nvidia.com@dmarc.ietf.org>> wrote:


By plug-in model I mean the RATS Verifier Architecture will describe , at a high level, a processing flow that somewhat already exists in the CoRIM draft. Normative documents then specify a section of that flow such that, as time goes on, we can update or replace those documents without having to change the overarching abstract processing flow. As such, CoRIM can return to its original mission of


"This document specifies the information elements for representing Endorsements and Reference Values in CBOR format."


As for picture(s), the CoRIM folks already have started a nice one in https://ietf-rats-wg.github.io/draft-ietf-rats-corim/draft-ietf-rats-corim.html#name-reference-verifier-algorith <https://ietf-rats-wg.github.io/draft-ietf-rats-corim/draft-ietf-rats-corim.html#name-reference-verifier-algorith>
________________________________________
From: Michael Richardson
Sent: Thursday, October 23, 2025 12:22 PM
To: Steven Bellock; rats
Subject: Re: [Rats] Structure of RATS Verifier Specifications


Steven Bellock <sbellock=40nvidia.com@dmarc.ietf.org <mailto:40nvidia.com@dmarc.ietf.org>> wrote:
> From the perspective of correctness and cleanliness, starting from 9334
> we should dig down into the Verifier box through an informative
> architecture document that describes these seven (or more?) phases of
> the RATS Verifier processing pipeline. Using a plug-in model,
> subsequent normative documents then provide limited and concrete
> specifications for one or more phases of verification. As such, large
> swaths of the current CoRIM draft move to this document, thus
> increasing the probability that CoRIM actually becomes an RFC.


I complained a few months ago about the size of the CoRIM document.
~6800 lines of text, compared to ~2700 for 9334.


Your plan seems like a good one to deal with this.
I'm not sure what a plug-in model means for a document, but I'm listening!
Pictures. Diagrams. How would you organize this text?


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










_______________________________________________
RATS mailing list -- rats@ietf.org <mailto:rats@ietf.org>
To unsubscribe send an email to rats-leave@ietf.org <mailto:rats-leave@ietf.org>