Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell. A modular correctness proof of IEEE 802.11i and TLS. In Vijay Atluri, Catherine Meadows, Ari Juels, editors, Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, Alexandria, VA, USA, November 7-11, 2005. pages 2-15, ACM, 2005. [doi]
Abstract is missing.