Maude-NPA: Cryptographic protocol analysis modulo equational properties

Santiago Escobar, Catherine Meadows, José Meseguer

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

Abstract

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
Pages1-50
Number of pages50
DOIs
StatePublished - Sep 28 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
  • Computer Science(all)

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

  • Cite this

    Escobar, S., Meadows, C., & Meseguer, J. (2009). Maude-NPA: Cryptographic protocol analysis modulo equational properties. In A. Aldini, G. Barthe, & R. Gorrieri (Eds.), Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures (pp. 1-50). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5705 LNCS). https://doi.org/10.1007/978-3-642-03829-7_1