Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/kbs/DiazAR14
%A Diaz, Jesus
%A Arroyo, David
%A de Borja Rodríguez, Francisco
%D 2014
%J Knowl. Based Syst.
%K dblp
%P 149-158
%T On securing online registration protocols: Formal verification of a new proposal.
%U http://dblp.uni-trier.de/db/journals/kbs/kbs59.html#DiazAR14
%V 59
@article{journals/kbs/DiazAR14,
added-at = {2020-02-25T00:00:00.000+0100},
author = {Diaz, Jesus and Arroyo, David and de Borja Rodríguez, Francisco},
biburl = {https://www.bibsonomy.org/bibtex/23f47ffa819aa333e3b59b20230219735/dblp},
ee = {https://doi.org/10.1016/j.knosys.2014.01.011},
interhash = {e5a07eb4220ae42eeff1f6fb5ad4fa67},
intrahash = {3f47ffa819aa333e3b59b20230219735},
journal = {Knowl. Based Syst.},
keywords = {dblp},
pages = {149-158},
timestamp = {2020-02-26T11:52:54.000+0100},
title = {On securing online registration protocols: Formal verification of a new proposal.},
url = {http://dblp.uni-trier.de/db/journals/kbs/kbs59.html#DiazAR14},
volume = 59,
year = 2014
}
