[TLS] TLS grammar checker?

Paul Hoffman <paul.hoffman@vpnc.org> Sat, 15 June 2013 12:41 UTC

Return-Path: <paul.hoffman@vpnc.org>
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 39FAB21F93D4 for <tls@ietfa.amsl.com>; Sat, 15 Jun 2013 05:41:11 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -102.599
X-Spam-Level:
X-Spam-Status: No, score=-102.599 tagged_above=-999 required=5 tests=[BAYES_00=-2.599, USER_IN_WHITELIST=-100]
Received: from mail.ietf.org ([12.22.58.30]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id b62evMryriBh for <tls@ietfa.amsl.com>; Sat, 15 Jun 2013 05:41:10 -0700 (PDT)
Received: from hoffman.proper.com (IPv6.Hoffman.Proper.COM [IPv6:2605:8e00:100:41::81]) by ietfa.amsl.com (Postfix) with ESMTP id CD0E021F8EDF for <tls@ietf.org>; Sat, 15 Jun 2013 05:41:10 -0700 (PDT)
Received: from [172.100.103.97] (burl-mse-71-255-129-12.static.ngn.east.myfairpoint.net [71.255.129.12]) (authenticated bits=0) by hoffman.proper.com (8.14.5/8.14.5) with ESMTP id r5FCf8fx061655 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO) for <tls@ietf.org>; Sat, 15 Jun 2013 05:41:09 -0700 (MST) (envelope-from paul.hoffman@vpnc.org)
From: Paul Hoffman <paul.hoffman@vpnc.org>
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
Message-Id: <7807543B-2154-4331-A0EA-D0C4F2A6FC19@vpnc.org>
Date: Sat, 15 Jun 2013 08:41:09 -0400
To: "tls@ietf.org" <tls@ietf.org>
Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\))
X-Mailer: Apple Mail (2.1508)
Subject: [TLS] TLS grammar checker?
X-BeenThere: tls@ietf.org
X-Mailman-Version: 2.1.12
Precedence: list
List-Id: "This is the mailing list for the Transport Layer Security working group of the IETF." <tls.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/tls>, <mailto:tls-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/tls>
List-Post: <mailto:tls@ietf.org>
List-Help: <mailto:tls-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/tls>, <mailto:tls-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sat, 15 Jun 2013 12:41:11 -0000

Greetings again. The recent errata shows that some of the TLS documents that use the grammar invented for SSL can have some errors. People have developed tools for checking ABNF grammar in Internet Drafts and RFCs; has anyone developed an SSL grammar checker?

--Paul Hoffman