@inproceedings{backes05eps,
  author       = {Backes, Michael and Duermuth, Markus},
  title        = {A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System},
  booktitle    = {Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW)},
  month        = {June},
  year         = {2005},
  pages        = {78-93}
}