@article{dataIndependenceTechniques,
  title = "Proving security protocols with model checkers by data independence techniques",
  author = "A. W. Roscoe and P.J. Broadfoot",
  year = "1999",
  journal = "{Journal of Computer Security}",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/70.pdf",
  volume = "7",
}