Sign in
A Secure and Resilient Scheme for Telecare Medical Information Systems With Threat Modeling and Formal Verification
Journal article   Open access  Peer reviewed

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

Shaik Shakeel Ahamad, Mohammed Al-Shehri and Ismail Keshta
IEEE access, Vol.10, pp.120227-120244
01/01/2022

Abstract

Computer Science Computer Science, Information Systems Engineering Engineering, Electrical & Electronic Science & Technology Technology Telecommunications
url
https://doi.org/10.1109/ACCESS.2022.3217230View
Published (Version of record) Open

Metrics

1 Record Views

Details