@article{CSP HCBK,
  title = "Model checking cryptographic protocols subject to combinatorial attack.",
  author = "A.W. Roscoe, T. Smyth and L.H. Nguyen.",
  year = "2011",
}