WPS: possible race condition?

[Ayun, Amir]

Hello,

I have a question with regards to WPS.
According to the WPS spec, after completing the registration protocol, the AP will generate the EAP-fail and then a deauthentication packet.
As an enrollee, once the supplicant gets the EAP-fail packet, it goes on and performs deauthenticate by itself (without waiting to the deauthentication packet from the ap) and starts fast association with the new credentials.
In case the supplicant will get the deauthentication packet from the ap, while associating, will it ignore the deauth and continue with the association?

Thanks,
Amir