IETF Logo Mail Archive

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

"Salz, Rich" <rsalz@akamai.com> Mon, 26 August 2024 13:22 UTC

Return-Path: <rsalz@akamai.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 C9D21C151524 for <tls@ietfa.amsl.com>; Mon, 26 Aug 2024 06:22:26 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.253
X-Spam-Level:
X-Spam-Status: No, score=-2.253 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_HIGH=-0.148, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, SPF_HELO_NONE=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 (2048-bit key) header.d=akamai.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 fkt6bP2RR-m5 for <tls@ietfa.amsl.com>; Mon, 26 Aug 2024 06:22:23 -0700 (PDT)
Received: from mx0b-00190b01.pphosted.com (mx0b-00190b01.pphosted.com [IPv6:2620:100:9005:57f::1]) by ietfa.amsl.com (Postfix) with ESMTP id 1F9D3C14F706 for <tls@ietf.org>; Mon, 26 Aug 2024 06:22:22 -0700 (PDT)
Received: from pps.filterd (m0050102.ppops.net [127.0.0.1]) by m0050102.ppops.net-00190b01. (8.18.1.2/8.18.1.2) with ESMTP id 47QBpneR013535; Mon, 26 Aug 2024 14:22:21 +0100
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=akamai.com; h=cc :content-type:date:from:in-reply-to:message-id:mime-version :references:subject:to; s=jan2016.eng; bh=Naq5MzOHiV5hqbTynnmFtr EbyluJR1xwLd+vca9wLhg=; b=JAdoA5WfBVbJ6+SMS2V21eAX9WlZOKAb4O0yAQ tTPwg+8HzRjQoMM6V/TMW7vE86ar4o+6YnyOHQQu0Hf7zURUIkSF+HI23p/Eavvt q6kYYY+KzCEjzY8ctUo6a1CFFk02eoLMjM3hwNtDw5Fe31i+/l7J+yeoSiVLNVit XC8Cqr0uUnvWBUxMP3Gnw15AdimCeuY0c2jfC8S625oRX+DvQLf90fJma/RQ0Brr RnLtk7HXoSg9u24ca4C13ubEtJZCLyWyUR9iDiRIZiwF2jsJRYmqRFNXe7X47b0X QNX/uQrrzXDb9iUY24Jl/Jkg7FGmMfbJ/rpKxdOH2SUkW8Jw==
Received: from prod-mail-ppoint7 (a72-247-45-33.deploy.static.akamaitechnologies.com [72.247.45.33] (may be forged)) by m0050102.ppops.net-00190b01. (PPS) with ESMTPS id 41796dk9ej-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 26 Aug 2024 14:22:20 +0100 (BST)
Received: from pps.filterd (prod-mail-ppoint7.akamai.com [127.0.0.1]) by prod-mail-ppoint7.akamai.com (8.18.1.2/8.18.1.2) with ESMTP id 47QBQ5oj008261; Mon, 26 Aug 2024 09:22:19 -0400
Received: from email.msg.corp.akamai.com ([172.27.91.26]) by prod-mail-ppoint7.akamai.com (PPS) with ESMTPS id 417auxqt7v-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 26 Aug 2024 09:22:19 -0400
Received: from usma1ex-dag4mb4.msg.corp.akamai.com (172.27.91.23) by usma1ex-dag4mb7.msg.corp.akamai.com (172.27.91.26) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.1544.11; Mon, 26 Aug 2024 09:22:19 -0400
Received: from usma1ex-dag4mb4.msg.corp.akamai.com ([172.27.91.23]) by usma1ex-dag4mb4.msg.corp.akamai.com ([172.27.91.23]) with mapi id 15.02.1544.011; Mon, 26 Aug 2024 09:22:18 -0400
From: "Salz, Rich" <rsalz@akamai.com>
To: Deirdre Connolly <durumcrustulum@gmail.com>, Bob Beck <beck@obtuse.com>
Thread-Topic: [TLS]Re: Consensus call for RFC8773bis Formal Analysis Requirement
Thread-Index: AQHa9zB3NDvILjXxckOj6Vb+ZrlT6bI4vhyAgADJdQA=
Date: Mon, 26 Aug 2024 13:22:18 +0000
Message-ID: <A5E3474B-E3D5-4DA2-BCAD-D443B2A02B5A@akamai.com>
References: <1E84DBF8-CA48-4CA9-A435-9E61E981D8DF@akamai.com> <6284E288-4F8E-4E2A-8335-5054D9D7A6DF@obtuse.com> <CAFR824xAxfUFrXyo5PZckJPqoM3fU8ESNrDHUfOKNzDF_jJZQA@mail.gmail.com>
In-Reply-To: <CAFR824xAxfUFrXyo5PZckJPqoM3fU8ESNrDHUfOKNzDF_jJZQA@mail.gmail.com>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
user-agent: Microsoft-MacOutlook/16.88.24081116
x-originating-ip: [172.27.164.43]
Content-Type: multipart/alternative; boundary="_000_A5E3474BE3D54DA2BCADD443B2A02B5Aakamaicom_"
MIME-Version: 1.0
X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.293,Aquarius:18.0.1039,Hydra:6.0.680,FMLib:17.12.28.16 definitions=2024-08-26_10,2024-08-26_01,2024-05-17_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 phishscore=0 mlxscore=0 malwarescore=0 bulkscore=0 suspectscore=0 mlxlogscore=744 spamscore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2407110000 definitions=main-2408260103
X-Proofpoint-GUID: BIdizPbwDWH27RDnH81A43iGkjFLObl0
X-Proofpoint-ORIG-GUID: BIdizPbwDWH27RDnH81A43iGkjFLObl0
X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.293,Aquarius:18.0.1039,Hydra:6.0.680,FMLib:17.12.28.16 definitions=2024-08-26_10,2024-08-26_01,2024-05-17_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 priorityscore=1501 mlxlogscore=562 mlxscore=0 malwarescore=0 bulkscore=0 adultscore=0 suspectscore=0 clxscore=1011 lowpriorityscore=0 spamscore=0 impostorscore=0 phishscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.19.0-2407110000 definitions=main-2408260104
Message-ID-Hash: UM7P3Z5RWG5AWAFELQGUCCXTXQLZOLCL
X-Message-ID-Hash: UM7P3Z5RWG5AWAFELQGUCCXTXQLZOLCL
X-MailFrom: rsalz@akamai.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: "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/IrN5oZdg8haQRkWxNOkSh3sAulU>
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>

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