Resumen

La tecnología de la información se ha vuelto prominente en el desarrollo de los automóviles modernos. Más de 50 Unidades de Control Electrónico (ECUs, por sus siglas en inglés) realizan funciones vehiculares en hardware y software, que van desde el control del motor y el entretenimiento hasta los futuros sistemas de conducción autónoma. No solo las conexiones con el mundo exterior plantean nuevas amenazas, sino también la comunicación dentro del vehículo entre las ECUs, realizada a través de sistemas de bus como el Controller Area Network (CAN), necesita ser protegida contra la manipulación y la repetición de mensajes. En el pasado se presentaron múltiples contramedidas haciendo uso de Códigos de Autenticación de Mensajes y marcas de tiempo y contadores de mensajes, respectivamente, para proporcionar frescura de mensajes, destacando principalmente la Comunicación Segura a Bordo de AUTOSAR (SecOC). En este documento, nos enfocamos en estas últimas. Como un aspecto de este documento, utilizando un modelo formal adecuado y una prueba, demostraremos que las soluciones actualmente consideradas

• Materias:Cifrado de búsqueda Seguridad informática Reconstrucción virtual Detección de intrusos Sistema de programación
• Subjects:Search encryption Computer security Virtual reconstruction Intrusion detection Programming system
• Palabras claves:Tecnología de la información; Automóviles modernos; Unidades de control electrónico; Funciones del vehículo; Comunicación a bordo; Códigos de autenticación de mensajes
• Keywords:Information technology; Modern cars; Electronic Control Units; Vehicular functions; In-vehicle communication; Message Authentication Codes