Kim-Kwang Raymond Choo, Junghyun Nam, Dongho Won. A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols. Inf. Sci., 281:182-200, 2014. [doi]
@article{ChooNW14,
title = {A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols},
author = {Kim-Kwang Raymond Choo and Junghyun Nam and Dongho Won},
year = {2014},
doi = {10.1016/j.ins.2014.05.041},
url = {http://dx.doi.org/10.1016/j.ins.2014.05.041},
researchr = {https://researchr.org/publication/ChooNW14},
cites = {0},
citedby = {0},
journal = {Inf. Sci.},
volume = {281},
pages = {182-200},
}