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]

Abstract

Abstract is missing.