@misc{indiciaec16cfa73eeed,
  title = {A formal methodology for integral security design and verification of network protocols},
  author = {Jesus Diaz and David Arroyo and Francisco B. Rodriguez},
  year = {2012},
  doi = {10.1016/j.jss.2013.09.020},
  url = {https://arxiv.org/abs/1201.5666},
  note = {Source identifier: 1201.5666}
}