"Maude-NPA for modelling security protocols" by Antonio Gonzalez Burgueno

Antonio Gonzalez Burgueno is a new PhD student in the ConSeRNS group.

His talk will introduce the well-known tool Maude-NPA and how it can be used to model security protocols. (See Abstrat in the long description.)


This talk is an overview of the Maude-NRL Protocol Analyzer (Maude-NPA) tool developed by Santiago Escobar (Universitat Politècnica de València) in collaboration with José Meseguer (University of Illinois at Urbana-Champaign, USA) and Catherine Meadows (Naval Research Laboratory, Washington, DC, USA).Maude-NPA is an automated tool for the analysis and verification of cryptographic protocols using functions that obey different equational theories. This talk shows how to use Maude-NPA, and how it works, and also gives some of the theoretical background behind the tool.


Tags: security protocols, rewriting logic, Maude-NPA
Published Nov. 12, 2014 3:08 PM - Last modified Nov. 23, 2017 10:24 AM