Santiago Escobar Catherine Meadows José Meseguer Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. 1-50 2007 FOSAD http://dx.doi.org/10.1007/978-3-642-03829-7_1 conf/fosad/2009 db/conf/fosad/fosad2009.html#EscobarMM07