The following publications are possibly variants of this publication:
- State Space Reduction in the Maude-NRL Protocol AnalyzerSantiago Escobar, Catherine Meadows, José Meseguer. esorics 2008: 548-562 [doi]
- State space reduction in the Maude-NRL Protocol AnalyzerSantiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago. iandc, 238:157-186, 2014. [doi]
- The NRL Protocol Analyzer: An OverviewCatherine Meadows. jlp, 26(2):113-131, 1996.
- A Model of Computation for the NRL Protocol AnalyzerCatherine Meadows. csfw 1994: 84-89
- Language generation and verification in the NRL protocol analyzerCatherine Meadows. csfw 1996: 48-61 [doi]
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational PropertiesSantiago Escobar, Catherine Meadows, José Meseguer. fosad 2009: 1-50 [doi]
- Analysis of the Internet Key Exchange Protocol using the NRL Protocol AnalyzerCatherine Meadows. sp 1999: 216-231 [doi]
- A rewriting-based inference system for the NRL protocol analyzer: grammar generationSantiago Escobar, Catherine Meadows, José Meseguer. ccs 2005: 1-12 [doi]
- Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol AnalyzerCatherine Meadows, Paul F. Syverson, Iliano Cervesato. jcs, 12(6):893-931, 2004.