Maude-NPA: Cryptographic protocol analysis modulo equational properties

Santiago Escobar, Catherine Meadows, José Meseguer

Research output: Chapter in Book/Report/Conference proceedingConference contribution


In this tutorial, we give an overview of the Maude-NRL Protocol Analyzer (Maude-NPA), a tool for the analysis of cryptographic protocols using functions that obey different equational theories. We show the reader how to use Maude-NPA, and how it works, and also give some of the theoretical background behind the tool.

Original languageEnglish (US)
Title of host publicationFoundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures
EditorsAlessandro Aldini, Gilles Barthe, Roberto Gorrieri
Number of pages50
StatePublished - 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5705 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Maude-NPA: Cryptographic protocol analysis modulo equational properties'. Together they form a unique fingerprint.

Cite this