%0 Conference Paper %1 conf/secrypt/HoumaniM08 %A Houmani, Hanane %A Mejri, Mohamed %B SECRYPT %D 2008 %E Fernández-Medina, Eduardo %E Malek, Manu %E Hernando, Javier %I INSTICC Press %K dblp %P 184-189 %T Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy. %U http://dblp.uni-trier.de/db/conf/secrypt/secrypt2008.html#HoumaniM08 %@ 978-989-8111-59-3

@inproceedings{conf/secrypt/HoumaniM08, added-at = {2009-09-04T00:00:00.000+0200}, author = {Houmani, Hanane and Mejri, Mohamed}, biburl = {https://www.bibsonomy.org/bibtex/2dd6aee737920fdf34603bed12e2a6f18/dblp}, booktitle = {SECRYPT}, crossref = {conf/secrypt/2008}, date = {2009-09-04}, description = {dblp}, editor = {Fernández-Medina, Eduardo and Malek, Manu and Hernando, Javier}, interhash = {3681108831b6a97ca37ede7e823ef19a}, intrahash = {dd6aee737920fdf34603bed12e2a6f18}, isbn = {978-989-8111-59-3}, keywords = {dblp}, pages = {184-189}, publisher = {INSTICC Press}, timestamp = {2009-09-05T11:34:53.000+0200}, title = {Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy.}, url = {http://dblp.uni-trier.de/db/conf/secrypt/secrypt2008.html#HoumaniM08}, year = 2008 }