Catherine Meadows. Language generation and verification in the NRL protocol analyzer. In Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland. pages 48-61, IEEE Computer Society, 1996. [doi]
Abstract is missing.