Catherine Meadows: A Model of Computation for the NRL Protocol Analyzer. CSFW 1994: 84-89