@InProceedings{arspa05,
  author = 	 {C.J.F. Cremers and S. Mauw and Vink, E.P. de},
  title = 	 {A Syntactic Criterion for Injectivity of 
                  Authentication Protocols}, 
  booktitle = 	 {Proc.\ ARSPA 2005, proceedings of the 2nd workshop on 
                  Automated Reasoning for Security Protocol Analysis},
  editor =       {P. Degano and L. Vigan\'o},
  pages =	 {23--38},
  publisher =	 {ENTCS 135(1)},
  year =	 2005
}