@misc{backes03needham-spv,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol (Extended Abstract)},
  howpublished = {Workshop on Security Protocols Verification (SPV'2003), affiliated with CONCUR'03},
  month        = {September},
  year         = {2003}
}