Jesus Diaz, David Arroyo, Francisco B. Rodriguez. Methodological Security Verification of a Registration Protocol. In José Gaviria de la Puerta, Iván García-Ferreira, Pablo Garcia Bringas, Fanny Klett, Ajith Abraham, André C. P. L. F. de Carvalho, Álvaro Herrero, Bruno Baruque, Héctor Quintián, Emilio Corchado, editors, International Joint Conference SOCO'14-CISIS'14-ICEUTE'14 - Bilbao, Spain, June 25th-27th, 2014, Proceedings. Volume 299 of Advances in Intelligent Systems and Computing, pages 453-462, Springer, 2014. [doi]
@inproceedings{DiazAR14-2,
title = {Methodological Security Verification of a Registration Protocol},
author = {Jesus Diaz and David Arroyo and Francisco B. Rodriguez},
year = {2014},
doi = {10.1007/978-3-319-07995-0_45},
url = {http://dx.doi.org/10.1007/978-3-319-07995-0_45},
researchr = {https://researchr.org/publication/DiazAR14-2},
cites = {0},
citedby = {0},
pages = {453-462},
booktitle = {International Joint Conference SOCO'14-CISIS'14-ICEUTE'14 - Bilbao, Spain, June 25th-27th, 2014, Proceedings},
editor = {José Gaviria de la Puerta and Iván García-Ferreira and Pablo Garcia Bringas and Fanny Klett and Ajith Abraham and André C. P. L. F. de Carvalho and Álvaro Herrero and Bruno Baruque and Héctor Quintián and Emilio Corchado},
volume = {299},
series = {Advances in Intelligent Systems and Computing},
publisher = {Springer},
isbn = {978-3-319-07994-3},
}