Formal verification and access control approach of an IoT protocol
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2017.
| Autor: | |
|---|---|
| Formato: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2017 |
| País: | Brasil |
| Recursos: | Universidade Federal de Santa Catarina (UFSC) |
| Repositorio: | Repositório Institucional da UFSC |
| Idioma: | inglés |
| OAI Identifier: | oai:repositorio.ufsc.br:123456789/181251 |
| Acesso em linha: | https://repositorio.ufsc.br/xmlui/handle/123456789/181251 |
| Access Level: | acceso abierto |
| Palavra-chave: | Computação Redes de sensores sem fio Internet das coisas |
| Resumo: | Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2017. |
|---|