The following publications are possibly variants of this publication:
- A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical propertiesSantiago Escobar, Catherine Meadows, José Meseguer. TCS, 367(1-2):162-202, 2006. [doi]
- Language generation and verification in the NRL protocol analyzerCatherine Meadows. csfw 1996: 48-61 [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
- State Space Reduction in the Maude-NRL Protocol AnalyzerSantiago Escobar, Catherine Meadows, José Meseguer. esorics 2008: 548-562 [doi]
- Equational Cryptographic Reasoning in the Maude-NRL Protocol AnalyzerSantiago Escobar, Catherine Meadows, José Meseguer. ENTCS, 171(4):23-36, 2007. [doi]
- Analysis of the Internet Key Exchange Protocol using the NRL Protocol AnalyzerCatherine Meadows. sp 1999: 216-231 [doi]