Martin Eian, Stig Fr. Mjølsnes. A formal analysis of IEEE 802.11w deadlock vulnerabilities. In Albert G. Greenberg, Kazem Sohraby, editors, Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012. pages 918-926, IEEE, 2012. [doi]
Abstract is missing.