Improved robust user authentication scheme for wireless sensor networks

Wireless sensor networks (WSNs) have been widely used in a wide variety of applications. Deploying WSNs in unattended environments can cause various security threats. In these scenarios, provisioning user authentication is a critical issue. In this paper, we propose improved robust user authentication scheme for WSNs, which is a variation of strong-password based solution. We have analyzed security properties of the proposed scheme and compared with the previous schemes in terms of overhead cost. We have also conducted formal verification of the proposed scheme.