Changhua He Mukund Sundararajan Anupam Datta Ante Derek John C. Mitchell A modular correctness proof of IEEE 802.11i and TLS. 2-15 2005 conf/ccs/2005 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/1102120.1102124 db/conf/ccs/ccs2005.html#HeSDDM05