Articles
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis

https://doi.org/10.1016/S1571-0661(05)80141-0Get rights and content
Under a Creative Commons license
open access

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.

Cited by (0)

1

Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312.