Noticias y Eventos

  • Palabras clave

  • País

  • Área temática

  • Fecha

Etiqueta: modelado formal

Investigador de FUNIBER propone un modelo de seguridad para sistemas IoT

Investigador de FUNIBER propone un modelo de seguridad para sistemas IoT

El Dr. Daniel Gavilanes Aray, director del Centro Tecnológico de la Fundación Universitaria Iberoamericana (FUNIBER), participa en un estudio que presenta un modelo formal de seguridad del protocolo de enrutamiento RPL, basado en redes de Petri, con el fin de proteger los datos y la privacidad de los usuarios en el sistema  de Internet de las Cosas (IoT). Leer más