A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic

Shaik Shakeel Ahamad, Al-Sakib Khan Pathan. A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic. Connect. Sci., 33(3):532-554, 2021. [doi]

Abstract

Abstract is missing.