@techreport{Stoller00c, author="Scott D. Stoller", title = "A Bound on Attacks on Payment Protocols", institution = "Computer Science Dept., Indiana University", year = 2000, month = feb, number = 537, note="Revised January 2001" }