@InProceedings{CMV2003authentication,
  Author         = "C.J.F. Cremers and S. Mauw and de Vink, E.P.",
  Title          = "Defining authentication in a trace model",
  BookTitle      = "FAST 2003",
  Editor         = "T. Dimitrakos and F. Martinelli",
  Series         = "Proc.\ of the first international Workshop on
                   Formal Aspects in Security and Trust",
  Pages          = "131--145",
  Address        = "Pisa",
  Publisher      = "IITT-CNR technical report",
  month          = "September",
  url            = "http://www.win.tue.nl/~ecss/downloads/cmv_defining_authentication.ps",
  year           = 2003
}