| Computer Science Laboratory | |
| Contact | |
 | People at CSL |
| Projects at CSL |
| Research Programs |
| Division Home | |
 Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis by Dr. Grit Denker & David Basin. 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.Files |
||||
About Us 
R&D Divisions
Careers
Newsroom
Contact Us
©
2025 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy