Methodological Security Verification of a Registration Protocol

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]

Authors

Jesus Diaz

This author has not been identified. Look up 'Jesus Diaz' in Google

David Arroyo

This author has not been identified. Look up 'David Arroyo' in Google

Francisco B. Rodriguez

This author has not been identified. Look up 'Francisco B. Rodriguez' in Google