2000•Electronic Notes in Theoretical Computer ScienceOpen access

Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis

David Basin, Grit Denker

Abstract

We compare two executable languages: the rewriting logic based specification language Maude and the higher-order, lazy, functional programming language Haskell. We compare these languages experimentally on a problem in modeling and reasoning about a security protocol for authentication. We explore differences in how models can be formalized and analyzed, as well as performance and tool use.

Open-access reader

About this research paper

What this paper is about

Why it matters

OpenAlex reports 20 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Haskell, Programming language, Computer science, Executable, Functional programming, Rewriting, Protocol (science), Theoretical computer science