Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic
Documento
doi:10.3390/s23156933
http://dx.doi.org/10.3390/s23156933
Visão geral
Identidade
Informação adicional documento
Outro
Ver todos
Visão geral
tipo
journal article
autores
Carlos Becker Westphall
Wesley dos Reis Bezerra
data de publicação
2023-01-01
publicada em
SENSORS (BASEL)
Identidade
identificador BrCris
2c9ee08fafe7dfd22609ed62a8c4e19d
Informação adicional documento
série
15
Página Inicial
6933
Volume
23
Outro
tem linguagem
Inglês