Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.

Iliano Cervesato Mark-Oliver Stehr Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types. 3-35 2007 20 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1007/s10990-007-9003-3 db/journals/lisp/lisp20.html#CervesatoS07