Maude versus Haskell: An experimental comparison in security protocol analysis

MaRDI QIDQ2703702zbMATH OpenFDO

Authors Grit Denker, David Basin

Publication date 7 May 2001

zbMATH Keywords

Mauderewriting logic based specific language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Case studies in the specification and analysis of protocols in Maude
• scientific article; zbMATH DE number 2112369
• scientific article; zbMATH DE number 1962758
• scientific article; zbMATH DE number 1515853
• scientific article; zbMATH DE number 1949618

Cited in

(3)

• Rewriting logic: Roadmap and bibliography
• On the semantics of Alice \& Bob specifications of security protocols
• The rewriting logic semantics project

Describes a project that uses

Uses Software

• ELAN
• Haskell
• Maude
• Casper
• GHC

This page was built for publication: Maude versus Haskell: An experimental comparison in security protocol analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2703702)