@inproceedings{d2aaa6da38734f00b2a5e0b7bd1e8b7a,
title = "Maude-NPA: Cryptographic protocol analysis modulo equational properties",
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.",
author = "Santiago Escobar and Catherine Meadows and Jos{\'e} Meseguer",
year = "2009",
doi = "10.1007/978-3-642-03829-7_1",
language = "English (US)",
isbn = "364203828X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "1--50",
editor = "Alessandro Aldini and Gilles Barthe and Roberto Gorrieri",
booktitle = "Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures",
}