Boreale, Michele and Buscemi, Maria Grazia  A Method for Symbolic Analysis of Security Protocols.  Theoretical Computer Science, 338 (1-3).  pp. 393-425.  ISSN 0304-3975      (2005)