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

ISSN： 1388-3690

Source： LISP and Symbolic Computation, Vol.20, Iss.1-2, 2007-06, pp. : 3-35

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Maude: specification and programming in rewriting logic

By Clavel M. Duran F. Eker S. Lincoln P. Mart-Oliet N. Meseguer J. Quesada J.F.

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 187-243

Elsevier

Access to resources Recommend Favorite

Specification of real-time and hybrid systems in rewriting logic

By Olveczky P.C. Meseguer J.

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 359-405

Elsevier

Access to resources Recommend Favorite

Bi-rewriting Rewriting Logic

By Schorlemmer W.M.

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-18

Elsevier

Access to resources Recommend Favorite

Specification of abstract dynamic-data types: A temporal logic approach

By Costa G. Reggio G.

Theoretical Computer Science, Vol. 173, Iss. 2, 1997-02 ,pp. : 513-554

Elsevier

Access to resources Recommend Favorite

Reflection and Strategies in Rewriting Logic

By Clavel M. Meseguer J.

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-23

Elsevier

Access to resources Recommend Favorite