IETF Logo Mail Archive

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

"Salz, Rich" <rsalz@akamai.com> Mon, 26 August 2024 14:11 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 1315AC14F749; Mon, 26 Aug 2024 07:11:03 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.252
X-Spam-Level:
X-Spam-Status: No, score=-2.252 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_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=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 vxR-5eYnnBjC; Mon, 26 Aug 2024 07:10:59 -0700 (PDT)
Received: from mx0a-00190b01.pphosted.com (mx0a-00190b01.pphosted.com [IPv6:2620:100:9001:583::1]) by ietfa.amsl.com (Postfix) with ESMTP id 68FF6C14CE2C; Mon, 26 Aug 2024 07:10:59 -0700 (PDT)
Received: from pps.filterd (m0122332.ppops.net [127.0.0.1]) by mx0a-00190b01.pphosted.com (8.18.1.2/8.18.1.2) with ESMTP id 47QDWxIJ027019; Mon, 26 Aug 2024 15:10:59 +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=d4+4J7U3uDrOWw9IL7vBz0 k6jTAKL6vaCvJVL8gdb+8=; b=Xhe/QbmEBxgbS4WOZipM/QqexNSJi9Mj6NLQZz FaQj+LdFF2vTQrQg5+IUiVxHtDDCSYCA9J9pYvvFhrTen2osfrSbys1PtvAZ5TQM E5odxtoZXmhW8BqjINwGsK2DB+3AS8LKJ3KmUYNzmx7a8vR1q4OtlUjt5cs7dKwy EmL4yL2IntMV4zMNm0QR1FFT1yR9wDpEo6hnRTNINnNTeUml2HzPq/8IQWkbfERW ZtIbALKqN36FYhZ6NxflplUIX6nfsC6Lp4K72bV85jVTKSc0CCGiHOfMlko7qZrE Y2fI8gnjZbAkkvUS8oL+F/MvMsjtBKmZBf9MiwQsCdo53/yA==
Received: from prod-mail-ppoint1 (prod-mail-ppoint1.akamai.com [184.51.33.18] (may be forged)) by mx0a-00190b01.pphosted.com (PPS) with ESMTPS id 41797q9517-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 26 Aug 2024 15:10:58 +0100 (BST)
Received: from pps.filterd (prod-mail-ppoint1.akamai.com [127.0.0.1]) by prod-mail-ppoint1.akamai.com (8.18.1.2/8.18.1.2) with ESMTP id 47QE74lv027166; Mon, 26 Aug 2024 10:10:57 -0400
Received: from email.msg.corp.akamai.com ([172.27.91.27]) by prod-mail-ppoint1.akamai.com (PPS) with ESMTPS id 417av00wk1-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 26 Aug 2024 10:10:56 -0400
Received: from usma1ex-dag4mb4.msg.corp.akamai.com (172.27.91.23) by usma1ex-dag4mb8.msg.corp.akamai.com (172.27.91.27) 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 10:10:56 -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 10:10:56 -0400
From: "Salz, Rich" <rsalz@akamai.com>
To: Eric Rescorla <ekr@rtfm.com>, "Salz, Rich" <rsalz=40akamai.com@dmarc.ietf.org>
Thread-Topic: [TLS]Re: Consensus call for RFC8773bis Formal Analysis Requirement
Thread-Index: AQHa9zEGGqPuUOpqk0ys699EEIOKTLI5lSWA
Date: Mon, 26 Aug 2024 14:10:56 +0000
Message-ID: <B4A10C59-585C-476E-9531-E780CCDB8123@akamai.com>
References: <CAOgPGoBxoEhVkzb=WYFvNEhN0sKLDLir0qPVSqx_a=Co7dkXgA@mail.gmail.com> <1E84DBF8-CA48-4CA9-A435-9E61E981D8DF@akamai.com> <CABcZeBN6PDuVeNcq+jWOXq2WzMjTp6xqkpMTPYa0B1J95ZBsWg@mail.gmail.com>
In-Reply-To: <CABcZeBN6PDuVeNcq+jWOXq2WzMjTp6xqkpMTPYa0B1J95ZBsWg@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_B4A10C59585C476E9531E780CCDB8123akamaicom_"
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_11,2024-08-26_01,2024-05-17_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 mlxlogscore=977 malwarescore=0 phishscore=0 bulkscore=0 mlxscore=0 suspectscore=0 adultscore=0 spamscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2407110000 definitions=main-2408260108
X-Proofpoint-GUID: vzmKAmZXlaT2-S4Sya3pZBdebZxrjrVX
X-Proofpoint-ORIG-GUID: vzmKAmZXlaT2-S4Sya3pZBdebZxrjrVX
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_11,2024-08-26_01,2024-05-17_01
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 bulkscore=0 mlxscore=0 clxscore=1011 suspectscore=0 lowpriorityscore=0 priorityscore=1501 adultscore=0 mlxlogscore=807 malwarescore=0 impostorscore=0 phishscore=0 spamscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.19.0-2407110000 definitions=main-2408260109
Message-ID-Hash: 5LO3GXBXKGZA5SDFP2ES6B7DWKOYNULI
X-Message-ID-Hash: 5LO3GXBXKGZA5SDFP2ES6B7DWKOYNULI
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/x_aK2RilzixgpKIHhuUoyaNWV1Q>
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>

Let's try to disentangle two questions:

Unfortunately, the Chairs keep entangling the questions.  Look at the message at the start of this thread, which clearly gives the panel summary as justification.

Rather, it turns on whether you think that this is a significant enough change with unclear enough properties that we should develop higher confidence before advancing it at PS. Is your position that that's not the case?

I am not answering your question, nor stating my opinion. I am opposed because the IETF core principles are being repeatedly violated, especially in view of expressed WG concerns about that.

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