Cargando…
Can Formal Security Verification Really Be Optional? Scrutinizing the Security of IMD Authentication Protocols
The need for continuous monitoring of physiological information of critical organs of the human body, combined with the ever-growing field of electronics and sensor technologies and the vast opportunities brought by 5G connectivity, have made implantable medical devices (IMDs) the most necessitated...
Autores principales: | Duguma, Daniel Gerbi, You, Ilsun, Gebremariam, Yonas Engida, Kim, Jiyoon |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
MDPI
2021
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8704301/ https://www.ncbi.nlm.nih.gov/pubmed/34960473 http://dx.doi.org/10.3390/s21248383 |
Ejemplares similares
-
Drone Secure Communication Protocol for Future Sensitive Applications in Military Zone
por: Ko, Yongho, et al.
Publicado: (2021) -
APSec1.0: Innovative Security Protocol Design with Formal Security Analysis for the Artificial Pancreas System
por: Kim, Jiyoon, et al.
Publicado: (2023) -
Bluetooth 5.1: An Analysis of Direction Finding Capability for High-Precision Location Services
por: Pau, Giovanni, et al.
Publicado: (2021) -
Passwords: philology, security, authentication
por: Lennon, Brian
Publicado: (2018) -
Modelling and verification of secure exams
por: Giustolisi, Rosario
Publicado: (2018)