20 research outputs found
Search for new molecular determinants of Prunus/Plum pox virus interaction
International audienc
Teaching object-oriented programming or using the object model to teach software engineering
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.