@inproceedings{DBLP:conf/icn/FurqanMG06,
author = {Zeeshan Furqan and
Shahabuddin Muhammad and
Ratan K. Guha},
title = {Formal Verification of 802.11i using Strand Space Formalism},
booktitle = {ICN/ICONS/MCL},
year = {2006},
pages = {140},
ee = {http://doi.ieeecomputersociety.org/10.1109/ICNICONSMCL.2006.101},
crossref = {DBLP:conf/icn/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icn/2006,
title = {Fifth International Conference on Networking and the International
Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April
2006, Mauritius},
booktitle = {ICN/ICONS/MCL},
publisher = {IEEE Computer Society},
year = {2006},
isbn = {0-7695-2552-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
