A rewriting strategy for protocol verification. - Monica Nesi; Giuseppina Rucci; Massimo Verdesca (WRS, 2003)

Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting. - Monica Nesi; Giuseppina Rucci (ARSPA@ICALP, 2005)