%0 Conference Paper %1 conf/softcomp/DiazAR14 %A Diaz, Jesus %A Arroyo, David %A Rodriguez, Francisco B. %B SOCO-CISIS-ICEUTE %D 2014 %E de la Puerta, José Gaviria %E García-Ferreira, Iván %E Bringas, Pablo García %E Klett, Fanny %E Abraham, Ajith %E de Carvalho, André C. P. L. F. %E Herrero, Álvaro %E Baruque, Bruno %E Quintián, Héctor %E Corchado, Emilio %I Springer %K dblp %P 453-462 %T Methodological Security Verification of a Registration Protocol. %U http://dblp.uni-trier.de/db/conf/softcomp/soco2014.html#DiazAR14 %V 299 %@ 978-3-319-07994-3

@inproceedings{conf/softcomp/DiazAR14, added-at = {2015-09-24T00:00:00.000+0200}, author = {Diaz, Jesus and Arroyo, David and Rodriguez, Francisco B.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ab744997a0e50ba7a49b04f1295fa91c/dblp}, booktitle = {SOCO-CISIS-ICEUTE}, crossref = {conf/softcomp/2014}, editor = {de la Puerta, José Gaviria and García-Ferreira, Iván and Bringas, Pablo García and Klett, Fanny and Abraham, Ajith and de Carvalho, André C. P. L. F. and Herrero, Álvaro and Baruque, Bruno and Quintián, Héctor and Corchado, Emilio}, ee = {http://dx.doi.org/10.1007/978-3-319-07995-0_45}, interhash = {95e63c036bd0babc35a9c187c2d8978c}, intrahash = {ab744997a0e50ba7a49b04f1295fa91c}, isbn = {978-3-319-07994-3}, keywords = {dblp}, pages = {453-462}, publisher = {Springer}, series = {Advances in Intelligent Systems and Computing}, timestamp = {2016-07-29T09:33:26.000+0200}, title = {Methodological Security Verification of a Registration Protocol.}, url = {http://dblp.uni-trier.de/db/conf/softcomp/soco2014.html#DiazAR14}, volume = 299, year = 2014 }