Name
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. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1007/978-3-642-03829-7_1 | Foundations of Security Analysis and Design V |
Keywords | Field | DocType |
cryptographic protocol analysis modulo,maude-nrl protocol analyzer,theoretical background,equational properties,cryptographic protocol,obey different equational theory,difference equation | Packet analyzer,Cryptographic protocol,Modulo,Theoretical computer science,Cryptographic primitive,Cryptographic protocol analysis,Mathematics,Equational theory | Conference |
Volume | ISSN | Citations |
5705 | 0302-9743 | 85 |
PageRank | References | Authors |
1.83 | 43 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Santiago Escobar | 1 | 452 | 27.87 |
| Catherine Meadows | 2 | 928 | 89.05 |
| José Meseguer | 3 | 9533 | 805.39 |