%0 Conference Paper %1 conf/icete/FurqanGM04 %A Furqan, Zeeshan %A Guha, Ratan K. %A Muhammad, Shahabuddin %B ICETE (2) %D 2004 %E Ascenso, João %E Belo, Carlos %E Vasiu, Luminita %E Saramago, Mónica %E Coelhas, Helder %I INSTICC Press %K dblp %P 113-118 %T A Heuristic State Space Search Model for Security Protocol Verification. %U http://dblp.uni-trier.de/db/conf/icete/icete2004.html#FurqanGM04 %@ 972-8865-15-5

@inproceedings{conf/icete/FurqanGM04, added-at = {2004-10-25T00:00:00.000+0200}, author = {Furqan, Zeeshan and Guha, Ratan K. and Muhammad, Shahabuddin}, biburl = {https://www.bibsonomy.org/bibtex/26924212b7cbe46a6e8eb1b2726ba012e/dblp}, booktitle = {ICETE (2)}, crossref = {conf/icete/2004}, date = {2004-10-25}, description = {dblp}, editor = {Ascenso, João and Belo, Carlos and Vasiu, Luminita and Saramago, Mónica and Coelhas, Helder}, interhash = {130b255c6c3c577ef601f62432ed9e45}, intrahash = {6924212b7cbe46a6e8eb1b2726ba012e}, isbn = {972-8865-15-5}, keywords = {dblp}, pages = {113-118}, publisher = {INSTICC Press}, timestamp = {2004-10-25T00:00:00.000+0200}, title = {A Heuristic State Space Search Model for Security Protocol Verification.}, url = {http://dblp.uni-trier.de/db/conf/icete/icete2004.html#FurqanGM04}, year = 2004 }