Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting. - Monica Nesi; Giustina Nocera (Nord. J. Comput., 2006)