The IEEE has developed a new procedure to provide confidentiality of user information being transferred over a wireless LAN (WLAN) and authentication of IEEE 802.11 conformant devices. The current version of Protocol IEEE 802.1X (75) is [206]. It is not clear if we can use this protocol in AVISPA, as it is not openly available to the public.
Protocol IEEE 802.1X should provide Fresh Key Agreement and 3P-Authorization (G1-3,6,7,10,12).
Related IETF drafts are [138,47,214,179,83,141,142,143,29,2].
The security services provided by the protolcol are: Authentication (including Data origin authenticity and Replay detection), Confidentiality and Key Management.