Search for new molecular determinants of Prunus/Plum pox virus interaction

International audienc

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 di erent 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.