@inproceedings{FAST2003,
  author =	 "C.J.F. Cremers and S. Mauw and E.P. de Vink",
  title =	 "Defining authentication in a trace model",
  editors =	 "T. Dimitrakos and F. Martinelli",
  booktitle =	 "FAST 2003",
  series =	 "Proceedings of the first international Workshop on
                  Formal Aspects in Security and Trust",
  address =	 "Pisa",
  publisher =	 "IITT-CNR technical report",
  year =	 2003,
  pages =	 "131--145"
}