Maude-NPA: Cryptographic protocol analysis modulo equational properties

Santiago Escobar; Catherine Meadows; José Meseguer

doi:10.1007/978-3-642-03829-7_1

Maude-NPA: Cryptographic protocol analysis modulo equational properties

Santiago Escobar, Catherine Meadows, José Meseguer

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures
Editors	Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
Pages	1-50
Number of pages	50
DOIs	https://doi.org/10.1007/978-3-642-03829-7_1
State	Published - 2009

Publication series

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

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/978-3-642-03829-7_1

Library availability

Discover UIUC Full Text

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

Maude-NPA: Cryptographic protocol analysis modulo equational properties. / Escobar, Santiago; Meadows, Catherine; Meseguer, José.
Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures. ed. / Alessandro Aldini; Gilles Barthe; Roberto Gorrieri. 2009. p. 1-50 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5705 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5705 LNCS, pp. 1-50. https://doi.org/10.1007/978-3-642-03829-7_1

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

Escobar, Santiago ; Meadows, Catherine ; Meseguer, José. / Maude-NPA : Cryptographic protocol analysis modulo equational properties. Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures. editor / Alessandro Aldini ; Gilles Barthe ; Roberto Gorrieri. 2009. pp. 1-50 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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",

}

TY - GEN

T1 - Maude-NPA

T2 - Cryptographic protocol analysis modulo equational properties

AU - Escobar, Santiago

AU - Meadows, Catherine

AU - Meseguer, José

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=70349314888&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70349314888&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-03829-7_1

DO - 10.1007/978-3-642-03829-7_1

M3 - Conference contribution

AN - SCOPUS:70349314888

SN - 364203828X

SN - 9783642038280

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 50

BT - Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures

A2 - Aldini, Alessandro

A2 - Barthe, Gilles

A2 - Gorrieri, Roberto

ER -

Maude-NPA: Cryptographic protocol analysis modulo equational properties

Abstract

Publication series

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this