Efficient and Provably Secure Anonymous User Authentication Scheme for Patient Monitoring Using Wireless Medical Sensor Networks

Abstract

Wireless medical sensor networks (WMSNs) are playing an increasingly important role in smart healthcare applications. Since the data transmitted in WMSNs is closely related to patient's life and health, and considering the resource-constrain feature of the sensor node, constructing an authentication scheme for WMSNs is a formidable task. Recently, Soni et al. presented an elliptic curve cryptosystem based three-factor authentication scheme for WMSNs. However, we discover that their scheme suffers from serious vulnerabilities, such as sensor node capture attack, no forward secrecy, and the violation of threefactor security. To enhance the security and efficiency, we present a novel scheme using Rabin cryptosystem and chaotic maps. We use several widely-accepted security analysis methods to verify the correctness and security of our scheme. The Burrows-Abadi-Needham logic proof confirms the completeness of our scheme. The heuristic analysis indicates that our scheme is resistant to potential attacks and provides various security attributes like forward secrecy and three-factor security. Furthermore, we demonstrate that our scheme is provably secure in the random oracle model. Finally, the performance comparisons indicate that our scheme is superior to the related schemes both in security and efficiency and is more applicable to WMSNs owing to low overhead of the sensor node.

An improved privacy preserving remote user authentication scheme for agricultural wireless sensor network

“…The scheme is specified under two back-ends of AVISPA using Security Protocol Animator (SPAN) 70,73 namely OFMC and CL-AtSe which are broadly used in various security schemes. 41,46,56,57,68,70,74 As mentioned above, the specified code in HLPSL is converted into IF to generate the final report. The Output Format (OF) of the generated report is structured as stated below.…”

“…In the same year, Soni et al 45 demonstrated the Challa et al scheme 37 was weak against the session key revelation and forgery attack and also introduced a mutual authentication and session key negotiation scheme. However, this scheme did not preserve perfect forward secrecy and suffered from a sensor node capture attack as stated by Guao et al 46 in 2020. Very recently, González et al 47 developed a key management and authentication scheme for heterogeneous WSN which was provably secure, flexible and competent.…”

“…5. Adversary: As ROR model uses the well-accepted Dolav-Yao (DY model), 46 the adversary can control all the communications. Consequently, adversary can eavesdrop, alter, intercept, fabricate, insert or even delete exchanged messages between the user and sensor node using the queries discussed below.…”

“…Elliptic curve Decisional Diffi-Helmen Problem (ECDDHP): Given (P,aP,bP,cP)∈G q for any a,b,c∈ Z * q , to decide whether c = a.b. 46 Above mentioned ECDLP and ECDDHP both are a computationally infeasible problem that means these problems cannot be solved within polynomial time t where q is a 160-bit prime number. 49…”

An Improved Authentication Protocol for Smart Healthcare System Using Wireless Medical Sensor Network

“…Firstly, the attacker can easily calculate the session key; secondly, the attacker may destroy the normal connection process between the user and the sensor node; thirdly, the user reregistration process does not consider the issue of the revocation of the old smart card, which may cause the smart card flood. In 2020, Xu et al [32] introduced chaotic maps and rabin cryptosystem to improve Soni et al's scheme [31], providing a higher level of security and less computational consumption, which is more suitable for WMSN. Besides, Yazdinejad et al [33] shortened the time for authentication in the hospital network by using the idea of blockchain.…”