Maude versus Haskell: an Experimental Comparison
in Security Protocol Analysis
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.