%0 Conference Paper %1 conf/apsec/BannourEGGP14 %A Bannour, Boutheina %A Escobedo, Jose Pablo %A Gaston, Christophe %A Gall, Pascale Le %A Pedroza, Gabriel %B APSEC (1) %D 2014 %E Cha, Sungdeok (Steve) %E Guéhéneuc, Yann-Gaël %E Kwon, Gihwon %I IEEE Computer Society %K %P 367-374 %T Security Weaknesses Detection by Symbolic Analysis of Scenarios. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2014-1.html#BannourEGGP14 %@ 978-1-4799-7425-2

@inproceedings{conf/apsec/BannourEGGP14, added-at = {2023-12-12T18:54:26.000+0100}, author = {Bannour, Boutheina and Escobedo, Jose Pablo and Gaston, Christophe and Gall, Pascale Le and Pedroza, Gabriel}, biburl = {https://www.bibsonomy.org/bibtex/295848daefc2d641645b0c53f63441e6c/admin}, booktitle = {APSEC (1)}, crossref = {conf/apsec/2014-1}, editor = {Cha, Sungdeok (Steve) and Guéhéneuc, Yann-Gaël and Kwon, Gihwon}, ee = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2014.61}, interhash = {18ee4d9b92e1692fd633667a204df4ee}, intrahash = {95848daefc2d641645b0c53f63441e6c}, isbn = {978-1-4799-7425-2}, keywords = {}, pages = {367-374}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T18:54:26.000+0100}, title = {Security Weaknesses Detection by Symbolic Analysis of Scenarios.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2014-1.html#BannourEGGP14}, year = 2014 }