Modeling and analysis of IEEE 802.11i WPA-PSK authentication protocol

In the present world due to the wide spread of internet both wired and wireless the need for security has really become a major concern. Since the wireless networks are increasing rapidly and thereby the development of new protocols for wireless communication has come into picture. Even the wireless networks are prone to attacks like man-in-the middle attack, replay attack etc. Since the wireless protocols are being developed day by day there is urge and need to increase the security. We have taken a four way handshake authentication protocol named WPA-PSK protocol for verification. In this paper we verify this authentication protocol using CasperFDR tool for the verification of security protocols using SPL language.