@article{journals/entcs/RoscoeBL00,
  title = "Data independent verification of crypto-protocols",
  author = "A. W. Roscoe and Philippa J. Broadfoot and Gavin Lowe",
  year = "2000",
  journal = "Electr. Notes Theor. Comput. Sci.",
  url = "http://www.elsevier.com/gej-ng/31/29/23/97/27/show/Products/notes/index.htt\#034",
  volume = "40",
}