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