%0 Conference Paper %1 conf/sefm/SalehD07 %A Saleh, Mohamed Mostafa %A Debbabi, Mourad %B SEFM %D 2007 %I IEEE Computer Society %K dblp %P 349-360 %T Verifying Security Properties of Cryptoprotocols: A Novel Approach. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#SalehD07 %@ 978-0-7695-2884-7

@inproceedings{conf/sefm/SalehD07, added-at = {2024-05-07T00:00:00.000+0200}, author = {Saleh, Mohamed Mostafa and Debbabi, Mourad}, biburl = {https://www.bibsonomy.org/bibtex/2de45883830de8ef7dd0bf3ed26a470f1/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2007.46}, interhash = {00f41dcd3fb26def36fb0c9e204afb8f}, intrahash = {de45883830de8ef7dd0bf3ed26a470f1}, isbn = {978-0-7695-2884-7}, keywords = {dblp}, pages = {349-360}, publisher = {IEEE Computer Society}, timestamp = {2024-05-13T09:54:45.000+0200}, title = {Verifying Security Properties of Cryptoprotocols: A Novel Approach.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2007.html#SalehD07}, year = 2007 }