A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic
Existing schemes in the realm of mobile healthcare (also, e-Healthcare) based on cloud and IoMT (Internet of Medical Things) do not ensure end-to-end security and are not compliant with HIPAA (Health Insurance Portability and Accountability Act). It is also very difficult often for these schemes to...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Taylor & Francis Group
2021-07-01
|
| Series: | Connection Science |
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1080/09540091.2020.1854180 |
| _version_ | 1797684059484192768 |
|---|---|
| author | Shaik Shakeel Ahamad Al-Sakib Khan Pathan |
| author_facet | Shaik Shakeel Ahamad Al-Sakib Khan Pathan |
| author_sort | Shaik Shakeel Ahamad |
| collection | DOAJ |
| description | Existing schemes in the realm of mobile healthcare (also, e-Healthcare) based on cloud and IoMT (Internet of Medical Things) do not ensure end-to-end security and are not compliant with HIPAA (Health Insurance Portability and Accountability Act). It is also very difficult often for these schemes to obtain evidence from the cloud in case of security breaches. In addition to these issues, mobile healthcare applications are prone to various types of attacks and formal proof is often unavailable. In this work, we propose our community cloud framework in an IoMT setting that ensures end-to-end security and circumvents many of the existing negative aspects using the Trusted Platform Module (TPM). We provide necessary proofs using BAN logic and Scyther tool. Also, we show that the energy consumption and the costs of communication and computation for our proposed protocol are far less than that of the existing protocols. We have implemented our protocol using Kotlin language in Android Studio ensuring all the required security properties. |
| first_indexed | 2024-03-12T00:23:54Z |
| format | Article |
| id | doaj.art-39ba67f50b8f49eb8401b560e6f7b953 |
| institution | Directory Open Access Journal |
| issn | 0954-0091 1360-0494 |
| language | English |
| last_indexed | 2024-03-12T00:23:54Z |
| publishDate | 2021-07-01 |
| publisher | Taylor & Francis Group |
| record_format | Article |
| series | Connection Science |
| spelling | doaj.art-39ba67f50b8f49eb8401b560e6f7b9532023-09-15T10:47:59ZengTaylor & Francis GroupConnection Science0954-00911360-04942021-07-0133353255410.1080/09540091.2020.18541801854180A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemicShaik Shakeel Ahamad0Al-Sakib Khan Pathan1Majmaah UniversityIndependent UniversityExisting schemes in the realm of mobile healthcare (also, e-Healthcare) based on cloud and IoMT (Internet of Medical Things) do not ensure end-to-end security and are not compliant with HIPAA (Health Insurance Portability and Accountability Act). It is also very difficult often for these schemes to obtain evidence from the cloud in case of security breaches. In addition to these issues, mobile healthcare applications are prone to various types of attacks and formal proof is often unavailable. In this work, we propose our community cloud framework in an IoMT setting that ensures end-to-end security and circumvents many of the existing negative aspects using the Trusted Platform Module (TPM). We provide necessary proofs using BAN logic and Scyther tool. Also, we show that the energy consumption and the costs of communication and computation for our proposed protocol are far less than that of the existing protocols. We have implemented our protocol using Kotlin language in Android Studio ensuring all the required security properties.http://dx.doi.org/10.1080/09540091.2020.1854180ban (burrows–abadi–needham) logiccommunity cloudhealth insurance portability and accountability act (hipaa)mobilescyther tooltrust |
| spellingShingle | Shaik Shakeel Ahamad Al-Sakib Khan Pathan A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic Connection Science ban (burrows–abadi–needham) logic community cloud health insurance portability and accountability act (hipaa) mobile scyther tool trust |
| title | A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic |
| title_full | A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic |
| title_fullStr | A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic |
| title_full_unstemmed | A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic |
| title_short | A formally verified authentication protocol in secure framework for mobile healthcare during COVID-19-like pandemic |
| title_sort | formally verified authentication protocol in secure framework for mobile healthcare during covid 19 like pandemic |
| topic | ban (burrows–abadi–needham) logic community cloud health insurance portability and accountability act (hipaa) mobile scyther tool trust |
| url | http://dx.doi.org/10.1080/09540091.2020.1854180 |
| work_keys_str_mv | AT shaikshakeelahamad aformallyverifiedauthenticationprotocolinsecureframeworkformobilehealthcareduringcovid19likepandemic AT alsakibkhanpathan aformallyverifiedauthenticationprotocolinsecureframeworkformobilehealthcareduringcovid19likepandemic AT shaikshakeelahamad formallyverifiedauthenticationprotocolinsecureframeworkformobilehealthcareduringcovid19likepandemic AT alsakibkhanpathan formallyverifiedauthenticationprotocolinsecureframeworkformobilehealthcareduringcovid19likepandemic |