Link-layer protection in 802.11i WLANS with dummy authentication
A modular correctness proof of IEEE 802.11i and TLS