Jing Liu, Xinming Ye, Jun Zhang, Jun Li. Security Verification of 802.11i 4-Way Handshake Protocol. In Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008. pages 1642-1647, IEEE, 2008. [doi]
Abstract is missing.