@Article{nvti2003,
  author = 	 {C.J.F. Cremers and S. Mauw and E.P. de Vink},
  title = 	 {Formal Methods for Security Protocols: 
                  Three Examples of the Black-Box Approach},
  journal = 	 {NVTI Newsletter},
  volume = 	 7,
  year = 	 2003,
  pages =	 {21--32},
  note =         {Newsletter of the Dutch Association for Theoretical Computer Sciene}
}