@InProceedings{CMV2005injectivity,
  Author         = {C.J.F. Cremers and S. Mauw and de Vink, E.P.},
  Title          = {A syntactic criterion for injectivity of
                   authentication protocols},
  BookTitle      = {{ARSPA} 2005},
  Editor         = {P. Degano and L. Vigano},
  Volume         = {135},
  series         = "Electronic Notes in Theoretical Computer Science",
  Publisher      = "Elsevier ScienceDirect",
  Pages          = {23--38},
  month          = {July},
  url            = {http://www.win.tue.nl/~ecss/downloads/cmv_injectivity.pdf},
  year           = 2005
}