A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic

There are many security challenges in IoT, especially related to the authentication of restricted devices in long-distance and low-throughput networks. Problems such as impersonation, privacy issues, and excessive battery usage are some of the existing problems evaluated through the threat modeling...

Descripción completa

Detalles Bibliográficos
Autores principales: Bezerra, Wesley R., Martina, Jean E., Westphall, Carlos B.
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2023
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10422480/
https://www.ncbi.nlm.nih.gov/pubmed/37571715
http://dx.doi.org/10.3390/s23156933

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10422480/
https://www.ncbi.nlm.nih.gov/pubmed/37571715
http://dx.doi.org/10.3390/s23156933

Ejemplares similares