%0 Journal Article %1 journals/corr/abs-1201-1134 %A Diaz, Jesus %A Arroyo, David %A de Borja Rodríguez, Francisco %D 2012 %J CoRR %K dblp %T Formal security analysis of registration protocols for interactive systems: a methodology and a case of study %U http://dblp.uni-trier.de/db/journals/corr/corr1201.html#abs-1201-1134 %V abs/1201.1134

@article{journals/corr/abs-1201-1134, added-at = {2018-08-13T00:00:00.000+0200}, author = {Diaz, Jesus and Arroyo, David and de Borja Rodríguez, Francisco}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20136bb6613a3799eb28e6044bc148dbf/dblp}, ee = {http://arxiv.org/abs/1201.1134}, interhash = {ae6b8955c9352c361f2a3dbea13e043e}, intrahash = {0136bb6613a3799eb28e6044bc148dbf}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T10:01:57.000+0200}, title = {Formal security analysis of registration protocols for interactive systems: a methodology and a case of study}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1201.html#abs-1201-1134}, volume = {abs/1201.1134}, year = 2012 }