zbMATH — the first resource for mathematics

Maude versus Haskell: An experimental comparison in security protocol analysis. (English) Zbl 0962.68056
Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 22 p., electronic only (2000).
Summary: 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.
For the entire collection see [Zbl 0957.00046].

68P25 Data encryption (aspects in computer science)
68Q60 Specification and verification (program logics, model checking, etc.)
68Q42 Grammars and rewriting systems
68N15 Theory of programming languages
GHC; Casper; Maude; ELAN; Haskell
Full Text: Link