Open Access
Research Article·pp. 3753–3763·Vol. 47, Issue 10Oct 2026
Formal security proofs for medical cryptographic protocols
R. G. Hemanth Kumar, Varun Kumar Sharma, Saudagar Subhash Barde, Y. Vijay Kumar, C. Kavitha, Ponmurugan Panneerselvam
Published Online: 31 Oct 2026DOI: 10.47974/JIOS-2500
In this paper: Given the critical role of medical information in medical cryptographic processes, it is essential to have rigorous security validation to prevent any vulnerabilities in the authentication process tha...
