@techreport{Stoller98,
  author="Scott D. Stoller",
  title="Justifying Finite Resources for Adversaries in Automated Analysis
       of Authentication Protocols",
  institution = IU,
  year = 1998,
  month=mar,
  number = "506",
  note="Revised February 1999"
}

@inproceedings{Stoller98a,
  author="Scott D. Stoller",
  title="Justifying Finite Resources for Adversaries in Automated Analysis
       of Authentication Protocols",
  booktitle="Workshop on Formal Methods and Security Protocols",
  year = 1998,
  month=jun,
  note="A revised and expanded version appeared as Indiana University, 
  Computer Science Dept., Technical Report 506, March 1998
  (revised February 1999)."
}