Portal de Periódicos da CAPES

Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things

2018; Volume: 2018; Linguagem: Inglês

10.18293/seke2018-060

2325-9000

Yuteng Lu, Meng Sun,

Access Control and Trust

IEEE 802.11i is the IEEE standard that provides enhanced MAC security and has been widely used in wireless networks and Internet of Things.It improves IEEE 802.11(1999) by providing a Robust Security Network (RSN) with two new protocols: the 4-way handshake and the Group-key handshake.These protocols utilize the authentication services and port access control described in IEEE 802.1X to establish and change the appropriate cryptographic keys.In this paper, we carry out a formal modeling and verification approach based on timed automata for IEEE 802.11i protocol, using the UPPAAL model checker, to check correctness of the changes in IEEE 802.11i protocol and provide better security.