A Secure and Resilient Scheme for Telecare Medical Information Systems With Threat Modeling and Formal Verification

Shaik Shakeel Ahamad, Mohammed Alshehri, Ismail Keshta. A Secure and Resilient Scheme for Telecare Medical Information Systems With Threat Modeling and Formal Verification. IEEE Access, 10:120227-120244, 2022. [doi]

Abstract

Abstract is missing.