Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis-Reference-Cited by-同舟云学术

Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis

Published:2000 Issue: Volume:36 Page:235-256
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Basin David,Denker Grit

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference33 articles.

1. P. Borovanský, C. Kirchner, and H. Kirchner. Strategies and Rewriting in ELAN. In B. Gramlich and H. Kirchner, editors, Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction (Townsville, Australia, July 1997), 1997.

2. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and M. Vittek. ELAN: A Logical Framework Based on Computational Systems. In Meseguer [24].

3. S. Brackin. Automatically Detecting Most Vulnerabilities in Cryptographic Protocols. In Maughan et al. [21], pages 251-266. http://schafercorp-ballston.com/discex/.

4. CafeOBJ Project. Proc. of the CafeOBJ Symposium '98, Numazu, Japan. April 1998.

5. A Meta-Notation for Protocol Analysis;Cervesato,1999

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the semantics of Alice&Bob specifications of security protocols;Theoretical Computer Science;2006-11

2. An overview of the verification of SET;International Journal of Information Security;2005-02

3. A Rewriting Logic Sampler;Theoretical Aspects of Computing – ICTAC 2005;2005

4. Abstraction-Driven SAT-based Analysis of Security Protocols;Theory and Applications of Satisfiability Testing;2004

5. Rewriting logic: roadmap and bibliography;Theoretical Computer Science;2002-08