Tim May writes:
> This is the key question, no pun intended. A kind of language for
> generating complex protocols was something Eric Hughes and I
> discussed at length before even holding the first meeting of what
> became the Cypherpunks group.
SDL (Specification and Description Language) sounded interesting as a
domain specific language for crypto protocols the specification of the
crypto protocol would also be it's implementation.
Andreas Rieke wrote an interpreter for SDL. Unfortunately they seem
to have moved it from it's previous home and messed up the link to
it's new home.
There's a dead link to:
http://www-ftk.fernuni-hagen.de/~rieke/crypto/welcome.html.en
from
http://www.cs.tut.fi/~jak/telec/plan2.html
if anyone can find it.
Adam
