Daniel J. Dougherty, Joshua D. Guttman. Decidability for Lightweight Diffie-Hellman Protocols. In IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014. pages 217-231, IEEE, 2014. [doi]
@inproceedings{DoughertyG14,
title = {Decidability for Lightweight Diffie-Hellman Protocols},
author = {Daniel J. Dougherty and Joshua D. Guttman},
year = {2014},
doi = {10.1109/CSF.2014.23},
url = {http://dx.doi.org/10.1109/CSF.2014.23},
researchr = {https://researchr.org/publication/DoughertyG14},
cites = {0},
citedby = {0},
pages = {217-231},
booktitle = {IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014},
publisher = {IEEE},
}