Un esquema formal de modelado y verificación con un atacante basado en RNN para la autenticidad del sistema de comunicación CAN
Autores: Wang, Yihua; Zhou, Qing; Zhang, Yu; Zhang, Xian; Du, Jiahao
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
Un esquema formal de modelado y verificación con un atacante basado en RNN para la autenticidad del sistema de comunicación CAN
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Mejorar
Resistencia al ataque
Sistema de Red de Área de Control (CAN)
Optimizar
Diseño de software de comunicación
Atacante variable
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 32
Citaciones: Sin citaciones
Para mejorar la resistencia al ataque del sistema de Red de Área de Controlador (CAN) y optimizar el diseño del software de comunicación, se propone un modelo integral que combina un atacante variable con el bus CAN (VACB) para evaluar el riesgo de comunicación del bus.
Descripción
Para mejorar la resistencia al ataque del sistema de Red de Área de Controlador (CAN) y optimizar el diseño del software de comunicación, se propone un modelo integral que combina un atacante variable con el bus CAN (VACB) para evaluar el riesgo de comunicación del bus.