Zeeshan Furqan, Shahabuddin Muhammad, Ratan K. Guha. Formal Verification of 802.11i using Strand Space Formalism. In Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 23-29 April 2006, Mauritius. pages 140, IEEE Computer Society, 2006. [doi]