Agrahari Abhay Kumar, Varma Shirshu, Venkatesan S
Indian Institute of Information Technology, Allahabad, Uttar Pradesh 211012 India.
J Ambient Intell Humaniz Comput. 2022 Apr 18:1-18. doi: 10.1007/s12652-022-03834-9.
In the last few years, technological advancement has led to the use of wearable body sensors for gathering patient information. Wireless body area networks played an essential role in the modern medical era. Through wearable body sensors, patient data are sent to medical professionals in real-time without any hindrance. This information moves through the public channel, and thus proper security and protection are needed because of its sensitiveness. Many authentication protocols proposed for solving these issues were neither secure nor cost-effective. This paper proposed an authentication protocol using certificateless cryptography for wireless body area networks to resolve the associated security concerns. A formal security analysis is done using the Burrows-Abadi-Needham logic shows that the proposed protocol is resilient against prevailing attacks. Additionally, we employ the Real-or-Random model for mathematical proof and Automated Verification Security Protocol and Analysis simulation tool for security analysis. A detailed comprehensive comparison with the existing protocols indicates that the proposed protocol is cost-effective with improved functionality.
在过去几年中，技术进步促使可穿戴式人体传感器被用于收集患者信息。无线体域网在现代医疗时代发挥了至关重要的作用。通过可穿戴式人体传感器，患者数据能够毫无阻碍地实时发送给医疗专业人员。这些信息通过公共信道传输，由于其敏感性，因此需要适当的安全保护措施。许多为解决这些问题而提出的认证协议既不安全也不具有成本效益。本文提出了一种用于无线体域网的基于无证书密码学的认证协议，以解决相关的安全问题。使用布劳克斯-阿巴迪-尼达姆逻辑进行的形式化安全分析表明，所提出的协议能够抵御常见攻击。此外，我们采用真或随机模型进行数学证明，并使用自动验证安全协议和分析模拟工具进行安全分析。与现有协议的详细全面比较表明，所提出的协议具有成本效益且功能有所改进。
