This is the full version . A Modular Security Analysis of EAP and IEEE 802 . 11