Re: [TLS] TLS grammar checker?
"Salz, Rich" <rsalz@akamai.com> Thu, 20 June 2013 16:08 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 6B61521F9DC4 for <tls@ietfa.amsl.com>; Thu, 20 Jun 2013 09:08:59 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.67
X-Spam-Level:
X-Spam-Status: No, score=-1.67 tagged_above=-999 required=5 tests=[AWL=0.930, BAYES_00=-2.599]
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 TF8ad4JKbxrm for <tls@ietfa.amsl.com>; Thu, 20 Jun 2013 09:08:54 -0700 (PDT)
Received: from prod-mail-xrelay08.akamai.com (prod-mail-xrelay08.akamai.com [96.6.114.112]) by ietfa.amsl.com (Postfix) with ESMTP id 410AF21F9DB7 for <tls@ietf.org>; Thu, 20 Jun 2013 09:08:54 -0700 (PDT)
Received: from prod-mail-xrelay08.akamai.com (localhost.localdomain [127.0.0.1]) by postfix.imss70 (Postfix) with ESMTP id 612DE480D0 for <tls@ietf.org>; Thu, 20 Jun 2013 16:08:53 +0000 (GMT)
Received: from prod-mail-relay04.akamai.com (prod-mail-relay04.akamai.com [172.27.8.27]) by prod-mail-xrelay08.akamai.com (Postfix) with ESMTP id 55733480CD for <tls@ietf.org>; Thu, 20 Jun 2013 16:08:53 +0000 (GMT)
Received: from usma1ex-cashub.kendall.corp.akamai.com (usma1ex-cashub6.kendall.corp.akamai.com [172.27.105.22]) by prod-mail-relay04.akamai.com (Postfix) with ESMTP id 3A46347BD2 for <tls@ietf.org>; Thu, 20 Jun 2013 16:08:53 +0000 (GMT)
Received: from USMBX1.msg.corp.akamai.com ([169.254.1.138]) by USMA1EX-CASHUB6.kendall.corp.akamai.com ([172.27.105.22]) with mapi; Thu, 20 Jun 2013 12:08:52 -0400
From: "Salz, Rich" <rsalz@akamai.com>
To: "TLS@ietf.org (tls@ietf.org)" <tls@ietf.org>
Date: Thu, 20 Jun 2013 12:08:51 -0400
Thread-Topic: [TLS] TLS grammar checker?
Thread-Index: Ac5rISsUDXSD6GYhSGmJg9XjSlyL2gBwN2LwADuITfA=
Message-ID: <2A0EFB9C05D0164E98F19BB0AF3708C711B20DE146@USMBX1.msg.corp.akamai.com>
References: <9A043F3CF02CD34C8E74AC1594475C7343D64D33@uxcn10-tdc02.UoA.auckland.ac.nz>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
acceptlanguage: en-US
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
Subject: Re: [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: Thu, 20 Jun 2013 16:08:59 -0000
> To quell some other commentary, I wasn't talking about creating any kind of automatic code generation. Yesterday afternoon I wrote a yacc/lex (er, Bison/flex) parser that seems to get the syntax right. It doesn't do any semantic checking (e.g., duplicate choices in an enumeration). Not sure if I'll go any further with it, so if you want it drop me a line. In case anyone's interested: https://docs.google.com/file/d/0B8YgrWYHqacSNDhCekgtWUVPMW8/edit?usp=sharing It's 210 lines of code in the public domain. Hope it's useful. > I think there is a great benefit to using a standard language. The knee-jerk "no" to my ASN.1 suggestion doesn't surprise me. XSD is another possibility, but that seems too ... weird .. for me. Many other IETF security standards use ASN1, the documentation is freely available, it is widely known and understood, and some tools are available. If I get some free time later in the summer I might experiment with it. Still true :) /r$ -- Principal Security Engineer Akamai Technology Cambridge, MA
- Re: [TLS] TLS grammar checker? Peter Gutmann
- [TLS] TLS grammar checker? Paul Hoffman
- Re: [TLS] TLS grammar checker? Paul Hoffman
- Re: [TLS] TLS grammar checker? Eric Rescorla
- Re: [TLS] TLS grammar checker? Salz, Rich
- Re: [TLS] TLS grammar checker? Paul Hoffman
- Re: [TLS] TLS grammar checker? Nico Williams
- Re: [TLS] TLS grammar checker? Bill Frantz
- Re: [TLS] TLS grammar checker? Nico Williams
- Re: [TLS] TLS grammar checker? Blumenthal, Uri - 0558 - MITLL
- Re: [TLS] TLS grammar checker? Bill Frantz
- Re: [TLS] TLS grammar checker? Nico Williams
- Re: [TLS] TLS grammar checker? Blumenthal, Uri - 0558 - MITLL
- Re: [TLS] TLS grammar checker? Bill Frantz
- Re: [TLS] TLS grammar checker? Salz, Rich
- Re: [TLS] TLS grammar checker? Peter Gutmann
- Re: [TLS] TLS grammar checker? Hannes Tschofenig
- Re: [TLS] TLS grammar checker? Paul Hoffman
- Re: [TLS] TLS grammar checker? Salz, Rich
- Re: [TLS] TLS grammar checker? Martin Rex
- Re: [TLS] TLS grammar checker? Salz, Rich
- Re: [TLS] TLS grammar checker? Blumenthal, Uri - 0558 - MITLL
- Re: [TLS] TLS grammar checker? Salz, Rich
- Re: [TLS] TLS grammar checker? Nikos Mavrogiannopoulos
- Re: [TLS] TLS grammar checker? Salz, Rich
- Re: [TLS] TLS grammar checker? Martin Rex
- Re: [TLS] TLS grammar checker? Kemp, David P.
- Re: [TLS] TLS grammar checker? Martin Rex
- Re: [TLS] TLS grammar checker? Nico Williams
- Re: [TLS] TLS grammar checker? Kemp, David P.
- Re: [TLS] TLS grammar checker? Martin Rex
- Re: [TLS] TLS grammar checker? Carl Wallace
- Re: [TLS] TLS grammar checker? Martin Rex
- Re: [TLS] TLS grammar checker? Peter Gutmann
- Re: [TLS] TLS grammar checker? Nico Williams
- Re: [TLS] TLS grammar checker? Peter Gutmann
- Re: [TLS] TLS grammar checker? Martin Rex
- Re: [TLS] TLS grammar checker? Nico Williams
- Re: [TLS] TLS grammar checker? Kemp, David P.