[147362] in cryptography@c2.net mail archive
Re: [Cryptography] TLS2
daemon@ATHENA.MIT.EDU (Tony Arcieri)
Mon Sep 30 20:36:21 2013
X-Original-To: cryptography@metzdowd.com
In-Reply-To: <5249ECD6.6010000@echeque.com>
From: Tony Arcieri <bascule@gmail.com>
Date: Mon, 30 Sep 2013 15:41:53 -0700
To: jamesd@echeque.com
Cc: Crypto <cryptography@metzdowd.com>
Errors-To: cryptography-bounces+crypto.discuss=bloom-picayune.mit.edu@metzdowd.com
--===============2611276530674203251==
Content-Type: multipart/alternative; boundary=001a1130ca2e1c456104e7a18cb9
--001a1130ca2e1c456104e7a18cb9
Content-Type: text/plain; charset=ISO-8859-1
On Mon, Sep 30, 2013 at 2:27 PM, James A. Donald <jamesd@echeque.com> wrote:
> Granted that ASN.1 is incomprehensible and horrid, but, since there is an
> ASN.1 compiler that generates C code we should not need to comprehend it.
>
What about tools that want to comprehend it using something other than C
code?
The theoretical argument against something like this is the resulting C
code is a "weird machine", i.e. ASN.1 cannot be understood by a pushdown
automaton or described by a context-free grammar.
See: http://www.cs.dartmouth.edu/~sergey/langsec/papers/langsec-tr.pdf
--
Tony Arcieri
--001a1130ca2e1c456104e7a18cb9
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr">On Mon, Sep 30, 2013 at 2:27 PM, James A. Donald <span dir=
=3D"ltr"><<a href=3D"mailto:jamesd@echeque.com" target=3D"_blank">jamesd=
@echeque.com</a>></span> wrote:<br><div class=3D"gmail_extra"><div class=
=3D"gmail_quote">
<blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-=
left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;p=
adding-left:1ex"><div class=3D"im"><span style=3D"color:rgb(34,34,34)">Gran=
ted that ASN.1 is incomprehensible and horrid, but, since there is an ASN.1=
compiler that generates C code we should not need to comprehend it.</span>=
</div>
</blockquote><div><br></div><div>What about tools that want to comprehend i=
t using something other than C code?</div><div><br></div><div>The theoretic=
al argument against something like this is the resulting C code is a "=
weird machine", i.e. ASN.1 cannot be understood by a pushdown automato=
n or described by a context-free grammar.</div>
<div><br></div><div>See: <a href=3D"http://www.cs.dartmouth.edu/~sergey/lan=
gsec/papers/langsec-tr.pdf">http://www.cs.dartmouth.edu/~sergey/langsec/pap=
ers/langsec-tr.pdf</a>=A0<br></div></div><div><br></div>-- <br>Tony Arcieri=
<br>
</div></div>
--001a1130ca2e1c456104e7a18cb9--
--===============2611276530674203251==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
The cryptography mailing list
cryptography@metzdowd.com
http://www.metzdowd.com/mailman/listinfo/cryptography
--===============2611276530674203251==--