@InProceedings{lcmas04,
  author = 	 {A. Hommersom and J.-J.Ch. Meyer and Vink, E.P. de},
  title = 	 {A Semantics Approach to Reasoning about Security Protocols},
  booktitle = 	 {Proc.\ LCMAS~2004},
  year =	 2004,
  editor =	 {W. van der Hoek and A. Lomuscio and E. de Vink and 
                  M. Wooldridge},
  publisher =	 {ENTCS 126},
  pages =	 {53--75},
}