@phdthesis{backes02cryptographically,
  author       = {Backes, Michael},
  title        = {Cryptographically Sound Analysis of Security Protocols},
  school       = {Saarland University, Computer Science Department},
  year         = {2002}
}