Detección de troyanos de hardware mediante un método eficaz de verificación de propiedades
Autores: Li, Dejian; Zhang, Qizhi; Zhao, Dongyan; Li, Lei; He, Jiaji; Yuan, Yidong; Zhao, Yiqiang
Idioma: Inglés
Editor: MDPI
Año: 2022
Acceso abierto
Artículo científico
2022
Detección de troyanos de hardware mediante un método eficaz de verificación de propiedades
Categoría
Ingeniería y Tecnología
Subcategoría
Ingeniería Eléctrica y Electrónica
Palabras clave
Troyanos
Hardware
Verificación de propiedades
Seguridad
Modelo formal
Verificación
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 25
Citaciones: Sin citaciones
Los troyanos de hardware se refieren a la lógica adicional implantada maliciosamente por atacantes en circuitos integrados (ICs). Debido a la amenaza de seguridad potencial de los troyanos de hardware, han atraído una atención extensa a los problemas de seguridad.
Descripción
Los troyanos de hardware se refieren a la lógica adicional implantada maliciosamente por atacantes en circuitos integrados (ICs). Debido a la amenaza de seguridad potencial de los troyanos de hardware, han atraído una atención extensa a los problemas de seguridad.