Formal Verification of 802.11i using Strand Space Formalism - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Zeeshan Furqan' in GoogleThis author has not been identified. Look up 'Shahabuddin Muhammad' in GoogleThis author has not been identified. Look up 'Ratan K. Guha' in Google

runs on WebDSL