%0 Conference Paper %1 conf/wetice/DebbabiMTY97 %A Debbabi, Mourad %A Mejri, Mohamed %A Tawbi, Nadia %A Yahmadi, I. %B WETICE %D 1997 %I IEEE Computer Society %K dblp %P 256-262 %T From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm. %U http://dblp.uni-trier.de/db/conf/wetice/wetice1997.html#DebbabiMTY97 %@ 0-8186-7967-0

@inproceedings{conf/wetice/DebbabiMTY97, added-at = {2023-03-23T00:00:00.000+0100}, author = {Debbabi, Mourad and Mejri, Mohamed and Tawbi, Nadia and Yahmadi, I.}, biburl = {https://www.bibsonomy.org/bibtex/2e8f05ddb6785092d5c0e02dd2c4c65f2/dblp}, booktitle = {WETICE}, crossref = {conf/wetice/1997}, ee = {https://doi.ieeecomputersociety.org/10.1109/ENABL.1997.630823}, interhash = {0986b2346863bb80ae1b4da16ab2db59}, intrahash = {e8f05ddb6785092d5c0e02dd2c4c65f2}, isbn = {0-8186-7967-0}, keywords = {dblp}, pages = {256-262}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:54:25.000+0200}, title = {From Protocol Specifications to Flaws and Attack Scenarios: An Automatic and Formal Algorithm.}, url = {http://dblp.uni-trier.de/db/conf/wetice/wetice1997.html#DebbabiMTY97}, year = 1997 }