@misc{diaz2012formal,
  title = {Formal security analysis of registration protocols for interactive systems: a methodology and a case of study},
  author = {Diaz, Jesus and Arroyo, David and Rodriguez, Francisco B},
  journal = {arXiv preprint arXiv:1201.1134},
  year = {2012}
}