Analysis of the 802.11i 4-way handshake
Analysis of a denial of service attack on TCP