Changhua He John C. Mitchell Analysis of the 802.11i 4-way handshake. 43-50 2004 conf/ws/2004 Workshop on Wireless Security http://doi.acm.org/10.1145/1023646.1023655 db/conf/ws/ws2004.html#HeM04