Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties

Santiago Escobar, Catherine Meadows, José Meseguer. Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. In Alessandro Aldini, Gilles Barthe, Roberto Gorrieri, editors, Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Volume 5705 of Lecture Notes in Computer Science, pages 1-50, Springer, 2007. [doi]

Authors

Santiago Escobar

This author has not been identified. It may be one of the following persons: Look up 'Santiago Escobar' in Google

Catherine Meadows

This author has not been identified. Look up 'Catherine Meadows' in Google

José Meseguer

This author has not been identified. Look up 'José Meseguer' in Google