Formal verification of the ieee 802.11i wlan security protocol, (2006)

by E Sithirasenan, S Zafar, V Muthukkumarasamy
Venue:Australian Software Engineering Conference (ASWEC ’06),