[saag] Re: [nasr] Re: Re: NASR BOF Follow-Up

Eric Rescorla <[email protected]>
Newsgroups gmane.ietf.saag
Message-ID <CABcZeBP7-A52XPghkCWa7f15Xa1UvoHKujhNPzvoH+cP+McSWQ@mail.gmail.com>
On Fri, Apr 11, 2025 at 11:50 AM Henk Birkholz <[email protected]>
wrote:

> On 11.04.25 19:23, Eric Rescorla wrote:
>
> Hi Ekr,
>
> sorry for dragging you through this convo, but I think I now have a
> better understanding of your problem statement than before. Thanks!
>
> As far as I am understanding it for now, the question is: "is it
> possible to determine that the configuration/policy of a device is
> acceptable in a fashion that does not expose that configuration/policy
> to a counterparty?" That question would be independent from "RATS
> Evidence" which was popping up in the thread before.
>

To be clear, that was *Richard's* question. My question was prior to that,
namely "Is it practical to mechanically verify that a configuration is
acceptable?"

-Ekr

_______________________________________________
saag mailing list -- [email protected]
To unsubscribe send an email to [email protected]
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.