@article{backes04cryptographically,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol},
  journal      = {IEEE Journal on Selected Areas of Computing (JSAC)},
  volume       = {22},
  number       = {10},
  year         = {2004},
  pages        = {2075-2086}
}