@Article{CMV2003blackbox,
  Author         = {C.J.F. Cremers and S. Mauw and de Vink, E.P.},
  Title          = {Formal Methods for Security Protocols: Three Examples
                   of the Black-Box Approach},
  Journal        = {NVTI newsletter},
  Volume         = {7},
  Pages          = {21--32},
  Note           = {Newsletter of the Dutch Association for Theoretical Computing Scientists},
  year           = 2003
}