Formal Verification of a Trusted Execution Environment-based Architecture for IoT Applications
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Informação adicional documento
-
- Outro
-
- Ver todos
-
Visão geral
tipo
data de publicação
publicada em
Pesquisas
áreas de investigação
palavras-chave
-
Data Security
-
Internet of Things
-
Model Checking
-
Trusted Execution Environments
-
formal verification
Identidade
identificador BrCris
-
72bc9ac7d3d9dcfcc8ba67c0dad26fad
Outro