Cryptanalysis and improvement of an authentication protocol for wireless sensor networks applications like safety monitoring in coal mines

Kumar, Devender; Chand, Satish; Kumar, Bijendra

doi:10.1007/s12652-018-0712-8

Cited by 28 publications

(25 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…If E steals the user's device, then E can find user's identity and password as follows E guesses identity ID a and password PW a of U x . E calculates z a = h ( PW a ‖ ID a ‖ n ). E verifies if z a = z x .…”

Section: Cryptanalysis Of the Scheme Of LI Et Almentioning

confidence: 99%

“…E can see and retrieve all the information stored in smart card. 30 4. E cannot extract sensitive information stored in SN because tamper-resistant device is installed at SN.…”

Section: Threat Modelmentioning

confidence: 99%

“…Since the messages in authentication protocol are sent over public channel, then attacker has many advantages listed as follows. Attacker E can see all messages transferred over a public channel. E cannot read or modify messages transferred over private channel. E can see and retrieve all the information stored in smart card E cannot extract sensitive information stored in SN because tamper‐resistant device is installed at SN. Legitimate user can act as attacker E. E can guess both the identity and password of user offline. …”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

An improved user authentication protocol for wireless sensor networks

Kaur

Kumar

Saini

2019

Trans Emerging Tel Tech

Self Cite

View full text Add to dashboard Cite

Wireless sensor networks (WSNs) have its applications in many domains such as agriculture, medicine, safety, and industry. Due to its wireless channel, it is vulnerable to many security threats. To provide end‐to‐end secure communication, various authentication and key agreement protocols have been discussed. Recently, Li et al have designed a mutual authentication and key agreement protocol for WSNs. However, it is found that this scheme does not resist to offline password guessing, device stolen, insider, and replay attacks besides user traceability problem. In this paper, a mutual authentication and key agreement protocol by overcoming the deficiencies of their scheme is proposed. Its formal security verification is shown using ProVerif tool. Its performance analysis is presented in terms of communication cost, computational cost, storage cost, and security features along with the other related schemes. It offers more security features than the other related schemes.

show abstract

Section: Cryptanalysis Of the Scheme Of LI Et Almentioning

confidence: 99%

“…E can see and retrieve all the information stored in smart card. 30 4. E cannot extract sensitive information stored in SN because tamper-resistant device is installed at SN.…”

Section: Threat Modelmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An improved user authentication protocol for wireless sensor networks

Kaur

Kumar

Saini

2019

Trans Emerging Tel Tech

Self Cite

View full text Add to dashboard Cite

show abstract

“…Even though the security analysis of cryptographic protocols is normally used for the verification of security attributes, it is insufficient and simulation tool must be employed to verify the security requirements. Several schemes have used AVISPA for analysing and verifying the security correctness of their proposed work. AVISPA is a push button tool which is widely used to measure whether the implemented security protocol is UNSAFE or SAFE.…”

Section: Analysis Of Security and Performance Of Cake Protocolmentioning

confidence: 99%

“…The CAKE protocol is simulated using widely accepted OFMC and CL‐AtSe backend as done in most schemes . Since, CAKE protocol uses XOR operation which is not currently supported by SATMC and TA4SP backend, therefore the simulation results are omitted for these two backends.…”

Section: Analysis Of Security and Performance Of Cake Protocolmentioning

confidence: 99%

Codeword Authenticated Key Exchange (CAKE) light weight secure routing protocol for WSN

Mehra¹,

Doja

Alam

2018

Int J Communication

View full text Add to dashboard Cite

Wireless Sensor Network (WSN) is developing rapidly and used extensively in various critical applications like military, health, environment etc. Sometimes, the WSN is indiscriminately deployed in unattended hostile terrains such as border or remote region where besides energy efficiency, security is another important issue to be addressed. The adversary can have unauthorised access which can lead to tampering, modification, interception, eavesdropping etc.With the intention of improving the energy efficacy of WSN, clustering methods are developed, but dynamic behaviour of sensor nodes with limited storage and processing makes security a more challenging problem as resource intensive security solutions are not feasible in practical scenario. Key management is capable of addressing this problem by protecting the network from different attacks. In this paper, a highly secure Codeword Authenticated Key Exchange (CAKE) protocol is proposed which is based on one-way hashing with one time password and codeword authentication. BAN logic and Random Oracle Model are used for formal proof, and AVISPA tool is used for simulating the proposed work. CAKE is compared with other existing mutual authentication schemes which depicts significant reduction in computational time and energy consumption. The proposed protocol preserves Confidentiality, Integrity, and mutual authentication and can counter several attacks like offline guessing attack, replay attack, Dos attack, impersonation attack etc. and preserve perfect forward secrecy making the protocol suitable for various WSN applications.

show abstract

Robust three‐factor authentication protocol for satellite communication systems

Chen

2020

Int J Communication

View full text Add to dashboard Cite

Summary The rapid development of satellite communications has brought great convenience to people's lives, as well as huge security challenges. In order to guarantee the security of users, a large number of authentication protocols have been proposed. Recently, Xu et al. proposed an improved mutual authentication protocol based on perfect forward secrecy for satellite communications. In this paper, we will point out that Xu et al.'s protocol cannot resist the offline password guessing attack and the replay attack and fails to provide user untraceability. To overcome these weaknesses, we propose a robust three‐factor‐based authentication protocol for satellite communication systems and analyze its correctness using Burrows–Abadi–Needham logic. In addition, the descriptive security analysis shows that our protocol is safe and robust against various attacks. By comparing with other related protocols, we find that our protocol has better performance.

show abstract

Cryptanalysis and improvement of an authentication protocol for wireless sensor networks applications like safety monitoring in coal mines

Cited by 28 publications

References 35 publications

An improved user authentication protocol for wireless sensor networks

An improved user authentication protocol for wireless sensor networks

Codeword Authenticated Key Exchange (CAKE) light weight secure routing protocol for WSN

Robust three‐factor authentication protocol for satellite communication systems

Contact Info

Product

Resources

About