A survey on user access control in wireless sensor networks with formal security verification

Chatterjee, Santanu; Das, Ashok Kumar; Sing, Jamuna Kanta

doi:10.1504/ijtmcc.2014.067303

Cited by 4 publications

(1 citation statement)

References 53 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Hence, security in WSNs becomes an important concern as there are several potential attacks against sensor networks. The readers can find the surveys on WSNs and their security issues in [10][11][12][13][14].…”

Section: Introductionmentioning

confidence: 99%

A secure and effective biometric‐based user authentication scheme for wireless sensor networks using smart card and fuzzy extractor

Das

2015

Int J Communication

Self Cite

132

107

View full text Add to dashboard Cite

SUMMARYUser authentication is a prominent security requirement in wireless sensor networks (WSNs) for accessing the real-time data from the sensors directly by a legitimate user (external party). Several user authentication schemes are proposed in the literature. However, most of them are either vulnerable to different known attacks or they are inefficient. Recently, Althobaiti et al. presented a biometric-based user authentication scheme for WSNs. Although their scheme is efficient in computation, in this paper, we first show that their scheme has several security pitfalls such as (i) it is not resilient against node capture attack; (ii) it is insecure against impersonation attack; and (iii) it is insecure against man-in-the-middle attack. We then aim to propose a novel biometric-based user authentication scheme suitable for WSNs in order to withstand the security pitfalls found in Althobaiti et al. scheme. We show through the rigorous security analysis that our scheme is secure and satisfies the desirable security requirements. Furthermore, the simulation results for the formal security verification using the most widely used and accepted Automated Validation of Internet Security Protocols and Applications tool indicate that our scheme is secure. Our scheme is also efficient compared with existing related schemes.

show abstract

Section: Introductionmentioning

confidence: 99%

A secure and effective biometric‐based user authentication scheme for wireless sensor networks using smart card and fuzzy extractor

Das

2015

Int J Communication

Self Cite

132

107

View full text Add to dashboard Cite

show abstract

Cryptanalysis of an Efficient Biometric Authentication Protocol for Wireless Sensor Networks

Das

2014

Communications in Computer and Information Science

View full text Add to dashboard Cite

On the Design of Lightweight and Secure Mutual Authentication System for Global Roaming in Resource-Limited Mobility Networks

2021

View full text Add to dashboard Cite

A secure authentication protocol plays a crucial role in securing communications over wireless and mobile networks. Due to resource-limitations and the nature of the wireless channel, the global mobile networks are highly susceptible to various attacks. Recently, an efficient authentication system for global roaming has been proposed in the literature. In this article, we first show that the analyzed authentication system is vulnerable man-in-the-middle attack, replay attack and Denial-of-Service (DoS) attack, and it does not ensure untraceability and local password-verification process to identify wrong passwords. To fix these security flaws, we propose a more efficient and robust authentication system for roaming in mobility networks. We use the formal verification tools like ProVerif, Automated Validation of Internet Security Protocols and Applications (AVISPA) and Burrows-Abadi-Needham (BAN) logic to check the regularity of the authentication protocol. Moreover, we prove the secrecy of a session key through the formal security using the random oracle model, known as Real-Or-Random (ROR) model. Finally, a detailed performance evaluation proves that the security protocol not only provides a security strength, but also preserves the low computational overhead. Thus, the proposed authentication protocol is secure and computationally efficient as compared to other relevant schemes.

show abstract

A survey on user access control in wireless sensor networks with formal security verification

Cited by 4 publications

References 53 publications

A secure and effective biometric‐based user authentication scheme for wireless sensor networks using smart card and fuzzy extractor

A secure and effective biometric‐based user authentication scheme for wireless sensor networks using smart card and fuzzy extractor

Cryptanalysis of an Efficient Biometric Authentication Protocol for Wireless Sensor Networks

On the Design of Lightweight and Secure Mutual Authentication System for Global Roaming in Resource-Limited Mobility Networks

Contact Info

Product

Resources

About