@inproceedings{stoller01payment,
  author="Scott D. Stoller",
  title = "A Bound on Attacks on Payment Protocols",
  booktitle="Proc.\ 16th Annual IEEE Symposium on Logic in Computer Science (LICS)",
  year = 2001,
  month = jun,
  pages="61-70",
  publisher="IEEE Computer Society Press"
}