IETF Logo Mail Archive

[TLS]Re: Consensus call for RFC8773bis Formal Analysis Requirement

Deirdre Connolly <durumcrustulum@gmail.com> Mon, 26 August 2024 13:27 UTC

Return-Path: <neried7@gmail.com>
X-Original-To: tls@ietfa.amsl.com
Delivered-To: tls@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 08A8FC14F706 for <tls@ietfa.amsl.com>; Mon, 26 Aug 2024 06:27:29 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -6.854
X-Spam-Level:
X-Spam-Status: No, score=-6.854 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_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_HI=-5, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, 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=gmail.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 qxiQji-U_nNG for <tls@ietfa.amsl.com>; Mon, 26 Aug 2024 06:27:25 -0700 (PDT)
Received: from mail-lj1-x22b.google.com (mail-lj1-x22b.google.com [IPv6:2a00:1450:4864:20::22b]) (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 ietfa.amsl.com (Postfix) with ESMTPS id 2BD72C14F617 for <tls@ietf.org>; Mon, 26 Aug 2024 06:27:25 -0700 (PDT)
Received: by mail-lj1-x22b.google.com with SMTP id 38308e7fff4ca-2f4f8742138so33002481fa.0 for <tls@ietf.org>; Mon, 26 Aug 2024 06:27:25 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1724678842; x=1725283642; darn=ietf.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=tF/qplRrVU1/jBc2jnL5M68tdkQ01Lc4el4hSlrdgFk=; b=m1QCT/Mfx+1G4ciFYKfYUpvNBcXU3rqn6Vk362GbJHc/5i0w4E2cy4b+VoMmQj8aWS zAdC5mkPxlkyyf/87JiL7YZn9v+23lmoe2v5pPQ16+rF9ua+M+U6cD035fUYjQWjpAa0 jbg28AW838QjcDiDwPewltFZMSB+drZhGQdypanqS+RNzK/D2nFPSUhvECU4uw224q4r DCAwhqAvMdl70qn6fLa++9OFCBY6pqZOyKTbwB7RH98FmiBE44WKIcIUTJfRiRdoXUEI raukREGHpoAmCVZQ2ea8YphE4rSQCl8ulU4uSUm2GFxAcwzo/soyA2zYQvjZl0nwhFYP cqxw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1724678842; x=1725283642; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=tF/qplRrVU1/jBc2jnL5M68tdkQ01Lc4el4hSlrdgFk=; b=KGHhMaQHjYNPE+TV1n18FRMbLvgevbON4ghGHYTmrNeUSO/zZ2CeT0C9EZs78yDPVB nN1zbaUif313BWs5bLmH8e1mhmIl/ZjtKbM9JDxFQyaWVchfP2P/OE+sIyXC/WpfDd3P 3izpF9gWmBN6TbuT/dqX/Z7kZBNyS9nFtsQR3/VWKKmKgsM8NLn8KzufYsmwLFVUFEzg Elm4rJUQKrPc8Ts81aEPLuUsrfTJjxuVgN6oU+65Rni7nIJ8fLapcfNwASjZRst2oS6D WBFqiUatBfcyVyuTPSD4rl0xc1qB7d8ETbb92GRnH0rVxYWm4EEbrrNx3MJ2HEe3Ksxh YPfA==
X-Forwarded-Encrypted: i=1; AJvYcCWTjQ6SlCG/QH0wwNTWPZu55Fr9FmLHT3vrQVktoP6XUbZkg+NXL4eftjJ/kLK/5lxIfbY=@ietf.org
X-Gm-Message-State: AOJu0YwTNMAjyM4bXJU2rZd/aj8Jvmm6OQ1J/z2iM9+DaLXNkCkYwL3a 7QP9xxHAnf9475FcaVC6xsbDy5owwM2UoanuhPCyxuXLw/Yg5WTnFAnqawMwxr6Zcr0euC/DZm5 SC4x9+2UIbQKHfUEPdJWxJp5nRyM=
X-Google-Smtp-Source: AGHT+IHoxPkXyIrcF9aAonZK6Z7gGscsDlB43/t1otIzJ5YtKSi4m/7QNHIVAdjJ85sv+0IJc9DtPpnFRoFODzEYYIs=
X-Received: by 2002:a2e:3602:0:b0:2f1:a337:958d with SMTP id 38308e7fff4ca-2f4f4913d63mr51778981fa.24.1724678841542; Mon, 26 Aug 2024 06:27:21 -0700 (PDT)
MIME-Version: 1.0
References: <1E84DBF8-CA48-4CA9-A435-9E61E981D8DF@akamai.com> <6284E288-4F8E-4E2A-8335-5054D9D7A6DF@obtuse.com> <CAFR824xAxfUFrXyo5PZckJPqoM3fU8ESNrDHUfOKNzDF_jJZQA@mail.gmail.com> <A5E3474B-E3D5-4DA2-BCAD-D443B2A02B5A@akamai.com>
In-Reply-To: <A5E3474B-E3D5-4DA2-BCAD-D443B2A02B5A@akamai.com>
From: Deirdre Connolly <durumcrustulum@gmail.com>
Date: Mon, 26 Aug 2024 09:27:08 -0400
Message-ID: <CAFR824y=stSf28Lt=bDoM2yCOHMAEt2OsaFPAY7dxGjx+-DHug@mail.gmail.com>
To: "Salz, Rich" <rsalz@akamai.com>
Content-Type: multipart/alternative; boundary="000000000000b3b70106209615ef"
Message-ID-Hash: M5ZK7BJDEIUBTV47THYUXODGOUL37ZEY
X-Message-ID-Hash: M5ZK7BJDEIUBTV47THYUXODGOUL37ZEY
X-MailFrom: neried7@gmail.com
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-tls.ietf.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
CC: Bob Beck <beck@obtuse.com>, "TLS@ietf.org" <tls@ietf.org>
X-Mailman-Version: 3.3.9rc4
Precedence: list
Subject: [TLS]Re: Consensus call for RFC8773bis Formal Analysis Requirement
List-Id: "This is the mailing list for the Transport Layer Security working group of the IETF." <tls.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/tls/np-SWqClmbxfz99NtYCgu05XDws>
List-Archive: <https://mailarchive.ietf.org/arch/browse/tls>
List-Help: <mailto:tls-request@ietf.org?subject=help>
List-Owner: <mailto:tls-owner@ietf.org>
List-Post: <mailto:tls@ietf.org>
List-Subscribe: <mailto:tls-join@ietf.org>
List-Unsubscribe: <mailto:tls-leave@ietf.org>

All of it was posted to the list in May:

https://mailarchive.ietf.org/arch/msg/tls/vK2N0vr83W6YlBQMIaVr9TeHzu4/

On Mon, Aug 26, 2024, 9:22 AM Salz, Rich <rsalz@akamai.com> wrote:

> The current triage panel is not anonymous, and the feedback they gave
> on RFC8773bis included the complete input from all current members.
>
>
>
> Post it.  All of it.  To the WG mailing list.
>

v2.39.1 | Report a Bug | By Email | System Status