Hanane Houmani, Mohamed Mejri, Hamido Fujita. Secrecy of cryptographic protocols under equational theory. Knowl.-Based Syst., 22(3):160-173, 2009. [doi]
@article{HoumaniMF09,
title = {Secrecy of cryptographic protocols under equational theory},
author = {Hanane Houmani and Mohamed Mejri and Hamido Fujita},
year = {2009},
doi = {10.1016/j.knosys.2008.11.004},
url = {http://dx.doi.org/10.1016/j.knosys.2008.11.004},
tags = {protocol},
researchr = {https://researchr.org/publication/HoumaniMF09},
cites = {0},
citedby = {0},
journal = {Knowl.-Based Syst.},
volume = {22},
number = {3},
pages = {160-173},
}