@misc{indiciae579642c2d945,
  title = {Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder},
  author = {Francis Klay and Judson Santiago and Laurent Vigneron},
  year = {2007},
  url = {https://arxiv.org/abs/0710.3305},
  note = {Source identifier: 0710.3305}
}