%0 Conference Paper %1 conf/icon/MuhammadFG06a %A Muhammad, Shahabuddin %A Furqan, Zeeshan %A Guha, Ratan K. %B ICON %D 2006 %I IEEE %K dblp %P 1-6 %T Logic-Based Formal Analysis of Cryptographic Protocols. %U http://dblp.uni-trier.de/db/conf/icon/icon2006.html#MuhammadFG06a %@ 0-7803-9746-0

@inproceedings{conf/icon/MuhammadFG06a, added-at = {2021-10-14T00:00:00.000+0200}, author = {Muhammad, Shahabuddin and Furqan, Zeeshan and Guha, Ratan K.}, biburl = {https://www.bibsonomy.org/bibtex/23ef1ed2e92006261abef3e97f559af3d/dblp}, booktitle = {ICON}, crossref = {conf/icon/2006}, ee = {https://doi.org/10.1109/ICON.2006.302644}, interhash = {3b71db73b58bcf062f6e200aef3c260a}, intrahash = {3ef1ed2e92006261abef3e97f559af3d}, isbn = {0-7803-9746-0}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-04-10T19:41:01.000+0200}, title = {Logic-Based Formal Analysis of Cryptographic Protocols.}, url = {http://dblp.uni-trier.de/db/conf/icon/icon2006.html#MuhammadFG06a}, year = 2006 }