%0 Journal Article %1 journals/kbs/HoumaniMF09 %A Houmani, Hanane %A Mejri, Mohamed %A Fujita, Hamido %D 2009 %J Knowl. Based Syst. %K dblp %N 3 %P 160-173 %T Secrecy of cryptographic protocols under equational theory. %U http://dblp.uni-trier.de/db/journals/kbs/kbs22.html#HoumaniMF09 %V 22

@article{journals/kbs/HoumaniMF09, added-at = {2020-02-25T00:00:00.000+0100}, author = {Houmani, Hanane and Mejri, Mohamed and Fujita, Hamido}, biburl = {https://www.bibsonomy.org/bibtex/248fbdd778f3373703a80a054690229de/dblp}, ee = {https://www.wikidata.org/entity/Q57558455}, interhash = {dc4166198146a50171265a15d9e5abd3}, intrahash = {48fbdd778f3373703a80a054690229de}, journal = {Knowl. Based Syst.}, keywords = {dblp}, number = 3, pages = {160-173}, timestamp = {2020-02-26T11:50:10.000+0100}, title = {Secrecy of cryptographic protocols under equational theory.}, url = {http://dblp.uni-trier.de/db/journals/kbs/kbs22.html#HoumaniMF09}, volume = 22, year = 2009 }